default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Functional Programming, Volume 8
Volume 8, Number 1, January 1998
- Amr Sabry
:
What is a Purely Functional Language? 1-22 - Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones:
Algorithms + Strategy = Parallelism. 23-60 - David Wakeling:
The Dynamic Compilation of Lazy Functional Programs. 61-81
- Richard S. Bird:
Meertens Number. 83-88
- Erik Poll:
Expansion Postponement for Normalising Pure Type Systems. 89-96
Volume 8, Number 2, March 1998
- Robert F. Stärk:
Why the Constant 'Undefined'? Logics of Partial Terms for Strict and Non-Strict Functional Programming Languages. 97-129 - Thérèse Hardin, Luc Maranget:
Functional Runtime Systems Within the Lambda-Sigma Calculus. 131-176 - P. N. Benton, Gavin M. Bierman, Valeria de Paiva:
Computational Types from a Logical Perspective. 177-193 - Chris Okasaki:
Functional Pearl: Even Higher-Order Functions for Parsing. 195-199
Volume 8, Number 3, May 1998
- Richard G. Morgan, Stephen A. Jarvis:
Profiling Large-Scale Lazy Functional Programs. 201-237 - John Hannan:
A Type-Based Escape Analysis for Functional Languages. 239-273 - John Maraist, Martin Odersky, Philip Wadler:
The Call-by-Need Lambda Calculus. 275-317
Volume 8, Number 4, July 1998
- Thomas Johnsson:
Efficient Graph Algorithms Using Lazy Monolithic Arrays. 323-333 - Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca:
Structured Operational Semantics of a Fragment of the Language Scheme. 335-365 - Andrew P. Tolmach, Dino Oliva:
From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. 367-412 - Michael Hedberg:
A Coherence Theorem for Martin-Löf's Type Theory. 413-436
- Graham Hutton, Erik Meijer:
Monadic Parsing in Haskell. 437-444
Volume 8, Number 5, September 1998
- William Ferreira, Matthew Hennessy, Alan Jeffrey:
A Theory of Weak Bisimulation for Core CML. 447-491 - Guy Lapalme:
Dynamic Tabbing for Automatic Indentation with the Layout Rule. 493-502 - Gary Meehan, Mike Joy:
Animated Fuzzy Logic. 503-525
- Patrik Jansson, Johan Jeuring:
Polytypic Unification. 527-536
Volume 8, Number 6, November 1998
- Thomas Streicher, Bernhard Reus:
Classical Logic, Continuation Semantics and Abstract Machines. 543-572 - C. Barry Jay, Gianna Bellè, Eugenio Moggi:
Functorial ML. 573-619 - Olivier Danvy:
Functional Unparsing. 621-625
- Martin Erwig:
Diets for Fat Sets. 627-632
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 2025-04-25 17:37 CEST 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:
