Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By ACM Press

1581139055

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Slideshow

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04 ◽

10.1145/1016850.1016880 ◽

2004 ◽

Author(s):

Robert Bruce Findler ◽

Matthew Flatt

Download Full-text

Numbering matters

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04 ◽

10.1145/1016850.1016872 ◽

2004 ◽

Author(s):

Nadji Gauthier ◽

François Pottier

Download Full-text

20 years of industrial functional programming

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04 ◽

10.1145/1016850.1016854 ◽

2004 ◽

Author(s):

Ulf Wiger

Keyword(s):

Functional Programming

Download Full-text

Multi-return function call

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04 ◽

10.1145/1016850.1016864 ◽

2004 ◽

Author(s):

Olin Shivers ◽

David Fisher

Keyword(s):

Return Function ◽

Download Full-text

Don't make the wrong mistakes

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04 ◽

10.1145/1016850.1016853 ◽

2004 ◽

Author(s):

Paul Graham

Download Full-text

Regular expression patterns

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04 ◽

10.1145/1016850.1016863 ◽

2004 ◽

Author(s):

Niklas Broberg ◽

Andreas Farre ◽

Josef Svenningsson

Keyword(s):

Regular Expression ◽

Expression Patterns

Download Full-text

Implementing functional logic languages using multiple threads and stores

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04 ◽

10.1145/1016850.1016865 ◽

2004 ◽

Author(s):

Andrew Tolmach ◽

Sergio Antoy ◽

Marius Nita

Keyword(s):

Functional Logic ◽

Multiple Threads

Download Full-text

From process logic to program logic

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04 ◽

10.1145/1016850.1016874 ◽

2004 ◽

Author(s):

Kohei Honda

Keyword(s):

Download Full-text

A sound (and complete) model of contracts

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04 ◽

10.1145/1016850.1016876 ◽

2004 ◽

Author(s):

Matthias Blume ◽

David McAllester

Keyword(s):

Download Full-text

Types for path correctness of XML queries

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming - ICFP '04 ◽

10.1145/1016850.1016869 ◽

2004 ◽

Author(s):

Dario Colazzo ◽

Giorgio Ghelli ◽

Paolo Manghi ◽

Carlo Sartiani

Download Full-text