Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige


    Workshop on Mathematically Structured Functional Programming (MSFP 2006)

    Kuressaare, Estonia, 2 July 2006

    This conference was sponsored by EU FP6 IST coordination action TYPES - Types for Proofs and Programs and Center for Dependable Computing of the National Centers of Excellence Programme of the Estonian Ministry of Education and Research.

    Conference Papers