Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Functional Programming, Volume 5
Volume 5, Number 1, January 1995
- Mark P. Jones:
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. 1-35 - Christine Ernoult, Alan Mycroft
:
Untyped Strictness Analysis. 37-49 - Enrico Tronci:
Defining Data Structures via Böhm-Out. 51-64 - P. N. Benton:
Strong Normalisation for the Linear Term Calculus. 65-80 - Peter Achten, Marinus J. Plasmeijer:
The Ins and Outs of Clean I/O. 81-110 - Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy:
Dynamic Typing in Polymorphic Languages. 111-130
Volume 5, Number 2, April 1995
- C. Barry Jay, Neil Ghani:
The Virtues of Eta-Expansion. 135-154 - Andrew P. Tolmach, Andrew W. Appel:
A Debugger for Standard ML. 155-200 - Tobias Nipkow, Christian Prehofer:
Type Reconstruction for Type Classes. 201-224 - Chris D. Clack, Stuart Clayman, David Parrott:
Lexical Profiling: Theory and Practice. 225-277
Volume 5, Number 3, July 1995
- Pieter H. Hartel, Marinus J. Plasmeijer:
Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. 279-281 - Jeffrey Hammes, Olaf M. Lubeck, A. P. Wim Böhm:
Comparing Id and Haskell in a Monte Carlo Photon Transport Code. 283-316 - Donald A. Ziff, Stephen P. Spackman, Keith Waclena:
Funser: A Functional Server for Textual Information Retrieval. 317-343 - Greg Michaelson, Norman Scaife:
Prototyping a Parallel Vision System in Standard ML. 345-382 - Walter A. C. A. J. de Hoon, Luc M. W. J. Rutten, Marko C. J. D. van Eekelen:
Implementing a Functional Spreadsheet in Clean. 383-414 - John R. Davy, Peter M. Dew:
A Polymorphic Library for Constructive Solid Geometry. 415-442 - Marcel Turcotte, Guy Lapalme, François Major:
Exploring the Conformations of Nucleic Acids. 443-460
Volume 5, Number 4, October 1995
- Charles Consel, Siau-Cheng Khoo:
On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. 461-500 - Amir Kishon, Paul Hudak:
Semantics Directed Program Execution Monitoring. 501-547 - Willem G. Vree, Pieter H. Hartel:
Communication Lifting: Fixed Point Computation for Parallelism. 549-581 - Chris Okasaki:
Simple and Efficient Purely Functional Queues and Deques. 583-592 - Martin Hofmann, Benjamin C. Pierce:
A Unifying Type-Theoretic Framework for Objects. 593-635 - Fairouz Kamareddine, Rob Nederpelt:
Refining Reduction in the Lambda Calculus. 637-651
a service of 
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-04-22 20:03 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:
