default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. IFL 2000: Aachen, Germany
- Markus Mohnen, Pieter W. M. Koopman:
Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers. Lecture Notes in Computer Science 2011, Springer 2001, ISBN 3-540-41919-5 - Ricardo Pena, Clara Segura:
Non-determinism Analysis in a Parallel-Functional Language. 1-18 - John Sargeant, Chris C. Kirkham, Ian Watson:
Exploiting Implicit Parallelism in Functional Programs with SLAM. 19-36 - Thomas Arts, Thomas Noll
:
Verifying Generic Erlang Client-Server Implementations. 37-52 - Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl:
The Design and Implementation of Glasgow Distributed Haskell. 53-70 - Ulrike Klusik, Rita Loogen, Steffen Priebe, Fernando Rubio:
Implementation Skeletons in Eden: Low-Effort Parallel Programming. 71-88 - Michael Hanus, Frank Huch, Philipp Niederau:
ObjectCurry: An Object-Oriented Extension of the Declarative Multi-Paradigm Language Curry. 89-106 - Frank Huch, Ulrich Norbisrath:
Distributed Programming in Haskell with Ports. 107-121 - Kevin Hammond:
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. 122-139 - Jörgen Gustavsson, Josef Svenningsson:
A Usage Analysis with Bounded Usage Polymorphism and Subtyping. 140-157 - Thorsten H.-G. Zörner, Pieter W. M. Koopman, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Polygonizing Implicit Surfaces in a Purely Functional Way. 158-175 - Olaf Chitil, Colin Runciman, Malcolm Wallace:
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs. 176-193 - Peter Achten, Simon L. Peyton Jones:
Porting the Clean Object I/O Library to Haskell. 194-213 - Raimund Schröder, Werner E. Kluge:
Organizing Speculative Computations in Functional Systems. 214-230 - Clemens Grelck:
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC. 231-248 - John O'Donnell:
The Collective Semantics in Functional SPMD Programming. 249-266
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
