Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By ACM Press

9781450302555

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hereditarily finite representations of natural numbers and self-delimiting codes

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 ◽

10.1145/1863597.1863602 ◽

2010 ◽

Author(s):

Paul Tarau

Keyword(s):

Natural Numbers

Download Full-text

What sequential games, the tychonoff theorem and the double-negation shift have in common

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 ◽

10.1145/1863597.1863605 ◽

2010 ◽

Author(s):

Martín Escardó ◽

Paulo Oliva

Keyword(s):

Double Negation ◽

Sequential Games ◽

Double Negation Shift ◽

Tychonoff Theorem

Download Full-text

Hereditary substitutions for simple types, formalized

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 ◽

10.1145/1863597.1863601 ◽

2010 ◽

Author(s):

Chantal Keller ◽

Thorsten Altenkirch

Download Full-text

Type inference in context

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 ◽

10.1145/1863597.1863608 ◽

2010 ◽

Author(s):

Adam Gundry ◽

Conor McBride ◽

James McKinna

Keyword(s):

Download Full-text

Hybrid

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 ◽

10.1145/1863597.1863599 ◽

2010 ◽

Author(s):

Amy P. Felty

Download Full-text

Foundational program verification in Coq with automated proofs

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 ◽

10.1145/1863597.1863603 ◽

2010 ◽

Author(s):

Adam Chlipala

Keyword(s):

Program Verification

Download Full-text

Epigram prime

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 ◽

10.1145/1863597.1863610 ◽

2010 ◽

Author(s):

Peter Morris

Download Full-text

Arrows are strong monads

Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming - MSFP '10 ◽

10.1145/1863597.1863607 ◽

2010 ◽

Author(s):

Kazuyuki Asada

Download Full-text