default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd MSFP 2010: Baltimore, MD, USA
- Venanzio Capretta, James Chapman:
Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, MSFP@ICFP 2010, Baltimore, MD, USA, September 25, 2010. ACM 2010, ISBN 978-1-4503-0255-5
Keynote address
- Amy P. Felty:
Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle. 1-2
Session 1
- Chantal Keller, Thorsten Altenkirch
:
Hereditary Substitutions for Simple Types, Formalized. 3-10 - Paul Tarau:
Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes. 11-18 - Adam Chlipala:
Foundational Program Verification in Coq with Automated Proofs. 19
Keynote address
- Martín Escardó, Paulo Oliva:
What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common. 21-32
Session 2
- Kazuyuki Asada:
Arrows Are Strong Monads. 33-42 - Adam Gundry, Conor McBride, James McKinna:
Type Inference in Context. 43-54
Session 3
- Peter Morris:
Epigram Prime: A Demonstration. 55-56
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.
last updated on 2025-01-10 18:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
