Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450342193

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dag-calculus: a calculus for parallel computation

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 ◽

10.1145/2951913.2951946 ◽

2016 ◽

Cited By ~ 4

Author(s):

Umut A. Acar ◽

Arthur Charguéraud ◽

Mike Rainey ◽

Filip Sieczkowski

Keyword(s):

Parallel Computation

Download Full-text

Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 ◽

10.1145/2951913.2951915 ◽

2016 ◽

Cited By ~ 9

Author(s):

Eric L. Seidel ◽

Ranjit Jhala ◽

Westley Weimer

Download Full-text

Indexed codata types

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 ◽

10.1145/2951913.2951929 ◽

2016 ◽

Cited By ~ 5

Author(s):

David Thibodeau ◽

Andrew Cave ◽

Brigitte Pientka

Download Full-text

Set-theoretic types for polymorphic variants

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 ◽

10.1145/2951913.2951928 ◽

2016 ◽

Cited By ~ 9

Author(s):

Giuseppe Castagna ◽

Tommaso Petrucciani ◽

Kim Nguyễn

Keyword(s):

Polymorphic Variants

Download Full-text

Unifiers as equivalences: proof-relevant unification of dependently typed data

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 ◽

10.1145/2951913.2951917 ◽

2016 ◽

Cited By ~ 6

Author(s):

Jesper Cockx ◽

Dominique Devriese ◽

Frank Piessens

Download Full-text

Queueing and glueing for optimal partitioning (functional pearl)

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 ◽

10.1145/2951913.2951923 ◽

2016 ◽

Author(s):

Shin-Cheng Mu ◽

Yu-Hsi Chiang ◽

Yu-Han Lyu

Keyword(s):

Optimal Partitioning

Download Full-text

Elaborator reflection: extending Idris in Idris

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 ◽

10.1145/2951913.2951932 ◽

2016 ◽

Cited By ~ 7

Author(s):

David Christiansen ◽

Edwin Brady

Download Full-text

A functional programmer's guide to homotopy type theory

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 ◽

10.1145/2951913.2976748 ◽

2016 ◽

Author(s):

Dan Licata

Keyword(s):

Homotopy Type ◽

Type Theory ◽

Homotopy Type Theory

Download Full-text

Refinement through restraint: bringing down the cost of verification

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 ◽

10.1145/2951913.2951940 ◽

2016 ◽

Cited By ~ 9

Author(s):

Liam O'Connor ◽

Zilin Chen ◽

Christine Rizkallah ◽

Sidney Amani ◽

Japheth Lim ◽

...

Keyword(s):

The Cost

Download Full-text

A fully concurrent garbage collector for functional programs on multicore processors

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 ◽

10.1145/2951913.2951944 ◽

2016 ◽

Cited By ~ 2

Author(s):

Katsuhiro Ueno ◽

Atsushi Ohori

Keyword(s):

Multicore Processors ◽

Garbage Collector

Download Full-text

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Dag-calculus: a calculus for parallel computation

Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)

Indexed codata types

Set-theoretic types for polymorphic variants

Unifiers as equivalences: proof-relevant unification of dependently typed data

Queueing and glueing for optimal partitioning (functional pearl)

Elaborator reflection: extending Idris in Idris

A functional programmer's guide to homotopy type theory

Refinement through restraint: bringing down the cost of verification

A fully concurrent garbage collector for functional programs on multicore processors

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016
Latest Publications