MSFP@ICFP

Keyphrases

Publications

2010

Chantal Keller, Thorsten Altenkirch
Hereditary Substitutions for Simple Types, Formalized. MSFP@ICFP (2010)
Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, MSFP@ICFP 2010, Baltimore, MD, USA, September 25, 2010. MSFP@ICFP (2010)
Martín Escardó, Paulo Oliva
What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common. MSFP@ICFP (2010)
Peter Morris
Epigram Prime: A Demonstration. MSFP@ICFP (2010)
Adam Gundry, Conor McBride, James McKinna
Type Inference in Context. MSFP@ICFP (2010)
Adam Chlipala
Foundational Program Verification in Coq with Automated Proofs. MSFP@ICFP (2010)
Amy P. Felty
Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle. MSFP@ICFP (2010)
Paul Tarau
Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes. MSFP@ICFP (2010)
Kazuyuki Asada
Arrows Are Strong Monads. MSFP@ICFP (2010)