ICFP 2009 - PDF Preprint Papers

ICFP 2009 International Conference on Functional Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICFP-2009 Paper

click to vote

ICFP
2009
ACM

207views Programming Languages» more ICFP 2009»

Complete and decidable type inference for GADTs

14 years 5 months ago

Download research.microsoft.com

GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...

Tom Schrijvers, Simon L. Peyton Jones, Martin Sulz...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	207	Complete and decidable type inference for GADTs	claim
2	180	Biorthogonality, step-indexing and compiler correctness	claim
3	178	Safe functional reactive programming through dependent types	claim
4	175	Effective interactive proofs for higher-order imperative programs	claim
5	166	A concurrent ML library in concurrent Haskell	claim
6	164	Finding race conditions in Erlang with QuickCheck and PULSE	claim
7	159	Non-parametric parametricity	claim
8	150	Identifying query incompatibilities with evolving XML schemas	claim
9	145	Parallel concurrent ML	claim
10	140	Control-flow analysis of function calls and returns by abstract interpretation	claim
11	139	Partial memoization of concurrency and communication	claim
12	136	Beautiful differentiation	claim
13	135	Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform	claim
14	134	Causal commutative arrows and their optimization	claim
15	126	Runtime support for multicore Haskell	claim
16	125	Experience report: embedded, parallel computer-vision with a functional DSL	claim
17	112	A functional I/O system or, fun for freshman kids	claim
18	111	Purely functional lazy non-deterministic programming	claim
19	111	Scribble: closing the book on ad hoc documentation tools	claim
20	109	Experience report: seL4: formally verifying a high-performance microkernel	claim
21	108	A universe of binding and computation	claim
22	107	A theory of typed coercions and its applications	claim
23	106	Generic programming with fixed points for mutually recursive datatypes	claim
24	84	Experience report: ocsigen, a web programming framework	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers