default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. IFL 2001: Stockholm, Sweden
- Thomas Arts, Markus Mohnen:
Implementation of Functional Languages, 13th International Workshop, IFL 2002 Stockholm, Sweden, September 24-26, 2001, Selected Papers. Lecture Notes in Computer Science 2312, Springer 2002, ISBN 3-540-43537-9 - Ricardo Pena, Clara Segura:
Sized Types for Typing Eden Skeletons. 1-17 - Dietmar Kreye:
A Compilation Scheme for a Hierarchy of Array Types. 18-54 - Clemens Grelck:
Optimizations on Array Skeletons in a Shared Memory Environment. 36-54 - Maarten de Mol, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer:
Theorem Proving for Functional Programmers. 55-71 - Andrew Butterfield
, Glenn Strong:
Proving Correctness of Programs with IO - A Paradigm Comparison. 72-87 - Alberto de la Encina, Ricardo Pena:
Proving the Correctness of the STG Machine. 88-104 - Karl-Filip Faxén:
Dynamic Cheap Eagerness. 105-120 - Ricardo Pena, Clara Segura:
A Polynomial-Cost Non-determinism Analysis. 121-137 - Norman Scaife, Greg Michaelson, Susumu Horiguchi:
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. 138-154 - Yasuhiko Minamide:
Runtime Behavior of Conversion Interpretation of Subtyping. 155-167 - Artem Alimarine, Marinus J. Plasmeijer:
A Generic Programming Extension for Clean. 168-185
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-11-15 19:20 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:
