Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015
Latest Publications

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By ACM Press

9781450336697

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Learning refinement types

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 ◽

10.1145/2784731.2784766 ◽

2015 ◽

Author(s):

He Zhu ◽

Aditya V. Nori ◽

Suresh Jagannathan

Keyword(s):

Refinement Types

Download Full-text

Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 ◽

10.1145/2784731.2784754 ◽

2015 ◽

Author(s):

Michel Steuwer ◽

Christian Fensch ◽

Sam Lindley ◽

Christophe Dubach

Keyword(s):

High Performance ◽

Rewrite Rules ◽

Download Full-text

1ML – core and modules united (F-ing first-class modules)

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 ◽

10.1145/2784731.2784738 ◽

2015 ◽

Author(s):

Andreas Rossberg

Download Full-text

Functional programming and hardware design: still interesting after all these years

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 ◽

10.1145/2784731.2789053 ◽

2015 ◽

Author(s):

Mary Sheeran

Keyword(s):

Functional Programming ◽

Hardware Design

Download Full-text

Expressing contract monitors as patterns of communication

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 ◽

10.1145/2784731.2784742 ◽

2015 ◽

Author(s):

Cameron Swords ◽

Amr Sabry ◽

Sam Tobin-Hochstadt

Keyword(s):

Patterns Of Communication

Download Full-text

Functional pearl: a SQL to C compiler in 500 lines of code

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 ◽

10.1145/2784731.2784760 ◽

2015 ◽

Author(s):

Tiark Rompf ◽

Nada Amin

Keyword(s):

Download Full-text

Functional pearl: two can keep a secret, if one of them uses Haskell

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 ◽

10.1145/2784731.2784756 ◽

2015 ◽

Author(s):

Alejandro Russo

Download Full-text

GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 ◽

10.1145/2784731.2784748 ◽

2015 ◽

Author(s):

Georgios Karachalias ◽

Tom Schrijvers ◽

Dimitrios Vytiniotis ◽

Simon Peyton Jones

Keyword(s):

Pattern Matching

Download Full-text

Practical SMT-based type error localization

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 ◽

10.1145/2784731.2784765 ◽

2015 ◽

Author(s):

Zvonimir Pavlinovic ◽

Tim King ◽

Thomas Wies

Keyword(s):

Error Localization

Download Full-text

Algebras and coalgebras in the light affine Lambda calculus

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015 ◽

10.1145/2784731.2784759 ◽

2015 ◽

Author(s):

Marco Gaboardi ◽

Romain Péchoux

Keyword(s):

Lambda Calculus

Download Full-text