ICFP 2004 - PDF Preprint Papers

ICFP 2004 International Conference on Functional Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICFP-2004 Paper

click to vote

ICFP
2004
ACM

195views Programming Languages» more ICFP 2004»

Implementing functional logic languages using multiple threads and stores

14 years 5 months ago

Download web.cecs.pdx.edu

Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...

Andrew P. Tolmach, Sergio Antoy, Marius Nita

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	195	Implementing functional logic languages using multiple threads and stores	claim
2	194	Verification of safety properties for concurrent assembly code	claim
3	171	Types, potency, and idempotency: why nonlinearity and amnesia make a type system work	claim
4	169	Scrap more boilerplate: reflection, zips, and generalised casts	claim
5	146	Regular expression patterns	claim
6	130	Relating models of backtracking	claim
7	127	Numbering matters: first-order canonical forms for second-order recursive types	claim
8	127	Multi-return function call	claim
9	125	Monadic regions	claim
10	122	Translating dependency into parametricity	claim
11	115	Slideshow: functional presentations	claim
12	115	From process logic to program logic	claim
13	114	Improving the static analysis of embedded languages via partial evaluation	claim
14	112	Searching for deadlocks while debugging concurrent haskell programs	claim
15	108	A type-theoretic foundation of continuations and prompts	claim
16	108	Making a fast curry: push/enter vs. eval/apply for higher-order languages	claim
17	101	Generics for the masses	claim
18	100	A sound (and complete) model of contracts	claim
19	90	Types for path correctness of XML queries	claim
20	82	Functional morphology	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers