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

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

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

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

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

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

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

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

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

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

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