default search action

combined dblp search
author search
venue search
publication search

ask others

1st MSFP 2006: Kuressaare, Estonia

> Home > Conferences and Workshops > MSFP

Refine list

refinements active!

zoomed in on 12 of 12 records

view refined list in

export refined list as

showing all 12 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/2006msfp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/2006msfp
Conor McBride, Tarmo Uustalu:
Workshop on Mathematically Structured Functional Programming, MSFP@MPC 2006, Kuressaare, Estonia, July 2, 2006. Workshops in Computing, BCS 2006
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/Filinski06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Filinski06
Andrzej Filinski:
Monadic Reflection in Haskell.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/Power06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Power06
John Power:
The Universal Algebra of Computational Effects: Lawvere Theories and Monads.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/000106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/000106
Andreas Abel:
Implementing a Normalizer Using Sized Heterogeneous Types.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/Altenkirch006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Altenkirch006
Thorsten Altenkirch, James Chapman:
Tait in One Big Step.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/Atkey06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Atkey06
Robert Atkey:
Parameterised Notions of Computation.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/DominguezP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/DominguezP06
Facundo Domínguez, Alberto Pardo:
Program Fusion with Paramorphisms.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/GibbonsO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/GibbonsO06
Jeremy Gibbons, Bruno C. d. S. Oliveira:
The Essence of the ITERATOR Pattern.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/HopeH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HopeH06
Catherine Hope, Graham Hutton:
Compact Fusion.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/0001H06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/0001H06
Bart Jacobs, Ichiro Hasuo:
Freyd is Kleisli, for Arrows.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/Matthes06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Matthes06a
Ralph Matthes:
Verification of Programs on Truly Nested Datatypes in Intensional Type Theory.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/Spivey06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Spivey06
J. Michael Spivey:
Algebras for Combinatorial Search.
no results

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.