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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605583327

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Causal commutative arrows and their optimization

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

10.1145/1596550.1596559 ◽

2009 ◽

Cited By ~ 17

Author(s):

Hai Liu ◽

Eric Cheng ◽

Paul Hudak

Download Full-text

Lambda, the ultimate TA

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

10.1145/1596550.1596552 ◽

2009 ◽

Cited By ~ 5

Author(s):

Benjamin C. Pierce

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 ◽

Cited By ~ 7

Author(s):

Jay A. McCarthy

Keyword(s):

Web Applications

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 ◽

Cited By ~ 11

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 ◽

Cited By ~ 17

Author(s):

Georg Neis ◽

Derek Dreyer ◽

Andreas Rossberg

Keyword(s):

Non Parametric

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

A functional I/O system or, fun for freshman kids

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

10.1145/1596550.1596561 ◽

2009 ◽

Cited By ~ 14

Author(s):

Matthias Felleisen ◽

Robert Bruce Findler ◽

Matthew Flatt ◽

Shriram Krishnamurthi

Download Full-text

Safe functional reactive programming through dependent types

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

10.1145/1596550.1596558 ◽

2009 ◽

Cited By ~ 16

Author(s):

Neil Sculthorpe ◽

Henrik Nilsson

Keyword(s):

Dependent Types ◽

Functional Reactive Programming ◽

Reactive Programming

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 ◽

Cited By ~ 14

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

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Causal commutative arrows and their optimization

Lambda, the ultimate TA

ICFP09 PC Chairs Report

Automatically RESTful web applications

Free theorems involving type constructor classes

Non-parametric parametricity

Report on the Twelfth ICFP Programming Contest

A functional I/O system or, fun for freshman kids

Safe functional reactive programming through dependent types

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

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