![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
The 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.