Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09
Latest Publications

TOTAL DOCUMENTS

40

(FIVE YEARS 0)

H-INDEX

14

(FIVE YEARS 0)

Published By ACM Press

9781605583327

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lambda, the ultimate TA

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 ◽

10.1145/1596550.1596552 ◽

2009 ◽

Author(s):

Benjamin C. Pierce

Download Full-text

Causal commutative arrows and their optimization

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 ◽

10.1145/1596550.1596559 ◽

2009 ◽

Author(s):

Hai Liu ◽

Eric Cheng ◽

Paul Hudak

Download Full-text

Free theorems involving type constructor classes

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 ◽

10.1145/1596550.1596577 ◽

2009 ◽

Author(s):

Janis Voigtländer

Keyword(s):

Type Constructor

Download Full-text

Non-parametric parametricity

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 ◽

10.1145/1596550.1596572 ◽

2009 ◽

Author(s):

Georg Neis ◽

Derek Dreyer ◽

Andreas Rossberg

Keyword(s):

Download Full-text

ICFP09 PC Chairs Report

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 ◽

10.1145/1596550.1667727 ◽

2009 ◽

Author(s):

Andrew Tolmach

Download Full-text

Automatically RESTful web applications

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 ◽

10.1145/1596550.1596594 ◽

2009 ◽

Author(s):

Jay A. McCarthy

Keyword(s):

Web Applications

Download Full-text

Control-flow analysis of function calls and returns by abstract interpretation

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 ◽

10.1145/1596550.1596592 ◽

2009 ◽

Author(s):

Jan Midtgaard ◽

Thomas P. Jensen

Keyword(s):

Abstract Interpretation ◽

Flow Analysis ◽

Control Flow ◽

Function Calls ◽

Analysis Of Function ◽

Control Flow Analysis

Download Full-text

Experience report

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 ◽

10.1145/1596550.1596595 ◽

2009 ◽

Author(s):

Vincent Balat ◽

Jérôme Vouillon ◽

Boris Yakobowski

Keyword(s):

Experience Report

Download Full-text

Effective interactive proofs for higher-order imperative programs

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 ◽

10.1145/1596550.1596565 ◽

2009 ◽

Author(s):

Adam Chlipala ◽

Gregory Malecha ◽

Greg Morrisett ◽

Avraham Shinnar ◽

Ryan Wisnesky

Keyword(s):

Higher Order ◽

Interactive Proofs

Download Full-text

Report on the Twelfth ICFP Programming Contest

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 ◽

10.1145/1596550.1667730 ◽

2009 ◽

Author(s):

Andy Gill

Download Full-text