Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781595938152

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ott

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 ◽

10.1145/1291151.1291155 ◽

2007 ◽

Cited By ~ 25

Author(s):

Peter Sewell ◽

Francesco Zappa Nardelli ◽

Scott Owens ◽

Gilles Peskine ◽

Thomas Ridge ◽

...

Download Full-text

On Barron and Strachey's cartesian product function

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 ◽

10.1145/1291151.1291161 ◽

2007 ◽

Cited By ~ 3

Author(s):

Olivier Danvy ◽

Michael Spivey

Keyword(s):

Cartesian Product ◽

Product Function

Download Full-text

User-friendly functional programming for web mashups

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 ◽

10.1145/1291151.1291187 ◽

2007 ◽

Cited By ~ 22

Author(s):

Rob Ennals ◽

David Gay

Keyword(s):

Functional Programming ◽

User Friendly

Download Full-text

McErlang

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 ◽

10.1145/1291151.1291171 ◽

2007 ◽

Cited By ~ 28

Author(s):

Lars-Åke Fredlund ◽

Hans Svensson

Download Full-text

Adding delimited and composable control to a production programming environment

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 ◽

10.1145/1291151.1291178 ◽

2007 ◽

Cited By ~ 13

Author(s):

Matthew Flatt ◽

Gang Yu ◽

Robert Bruce Findler ◽

Matthias Felleisen

Keyword(s):

Programming Environment

Download Full-text

Call-pattern specialisation for haskell programs

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 ◽

10.1145/1291151.1291200 ◽

2007 ◽

Cited By ~ 15

Author(s):

Simon Peyton Jones

Download Full-text

Extensible pattern matching via a lightweight language extension

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 ◽

10.1145/1291151.1291159 ◽

2007 ◽

Cited By ~ 21

Author(s):

Don Syme ◽

Gregory Neverov ◽

James Margetson

Keyword(s):

Pattern Matching ◽

Language Extension

Download Full-text

Experience report

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 ◽

10.1145/1291151.1291184 ◽

2007 ◽

Cited By ~ 2

Author(s):

Clifford Beshers ◽

David Fox ◽

Jeremy Shaw

Keyword(s):

Experience Report

Download Full-text

Programiing finger trees in Coq

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 ◽

10.1145/1291151.1291156 ◽

2007 ◽

Cited By ~ 14

Author(s):

Matthieu Sozeau

Download Full-text

Experience report

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 ◽

10.1145/1291151.1291190 ◽

2007 ◽

Cited By ~ 1

Author(s):

Jonathan Cooper ◽

Steve McKeever

Keyword(s):

Experience Report

Download Full-text

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Ott

On Barron and Strachey's cartesian product function

User-friendly functional programming for web mashups

McErlang

Adding delimited and composable control to a production programming environment

Call-pattern specialisation for haskell programs

Extensible pattern matching via a lightweight language extension

Experience report

Programiing finger trees in Coq

Experience report

Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07
Latest Publications