![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
The Journal of Functional Programming, Volume 6
Volume 6, Number 1, January 1996
- Richard S. Bird, Oege de Moor, Paul F. Hoogendijk:
Generic Functional Programming with Types and Relations. 1-28 - Pieter H. Hartel, Hugh Glaser:
The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional Language. 29-45 - Andrew W. Appel
, Zhong Shao
:
Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures. 47-74 - Geoffrey Livingston Burn, Daniel Le Métayer:
Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis. 75-109 - John Greiner:
Weak Polymorphism can be Sound. 111-141 - Philip W. Grant, John A. Sharp, Michael F. Webster, Xiaoming Zhang:
Sparse Matrix Representations in a Functional Language. 143-170 - Peter W. O'Hearn:
Note on Algol and Conservatively Extending Functional Programming. 171-180
- Graham Hutton, Erik Meijer:
Back to Basics: Deriving Representation Changers Functionally. J. Funct. Program. 6(1): 181-188 (1996)
Volume 6, Number 2, March 1996
- Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke:
Reference Counting as a Computational Interpretation of Linear Logic. 195-244 - Fairouz Kamareddine, Rob Nederpelt:
Canonical Typing and Pi-Conversion in the Barendregt Cube. 245-267 - Anders Bondorf, Jens Palsberg:
Generating Action Compilers by Partial Evaluation. 269-298 - Pierre-Louis Curien, Roberto Di Cosmo:
A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object. 299-327 - Anthony N. Clark
:
Formal Basis for the Refinement of Rule Based Transition Systems. 329-354 - Andrew S. Partridge, David Wright:
Predictive Parser Combinators Need four Values to Report Errors. 355-364
- James J. Leifer, Bernard Sufrin:
Deduction for Functional Programmers. 365-373
Volume 6, Number 3, May 1996
- Bart Jacobs:
On Cubism. 379-391 - Robert Harper, Mark Lillibridge:
Operational Interpretations of an Extension of Fomega with Control Operators. 393-417 - D. B. Carpenter, Hugh Glaser:
Some Lattice-Based Scientific Problems, Expressed in Haskell. 419-443 - Steve Hill:
Combinators for Parsing Expressions. 445-463 - Paul Hudak, Tom Makucevich, Syam Gadde, Bo Whong:
Haskore Music Notation - An Algebra of Music. 465-483 - Konstantin Läufer
:
Type Classes with Existential Types. 485-517 - Franco Barbanera, Stefano Berardi:
Proof-Irrelevance out of Exluded-Middle and Choice in the Calculus of Constructions. 519-525
- Andrew Kennedy:
Drawing Trees. 527-534 - Jeremy Gibbons:
Deriving Tidy Drawings of Trees. 535-562
Volume 6, Number 4, July 1996
- John Launchbury, Gebreselassie Baraki:
Representing Demand by Partial Projections. 563-585 - Colin Runciman, Niklas Röjemo:
New Dimensions in Heap Profiling. 587-620 - Pieter H. Hartel, Marc Feeley, Martin Helmut Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth:
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. 621-655
- Jeremy Gibbons:
The Third Homomorphism Theorem. 657-665
Volume 6, Number 5, September 1996
- Xavier Leroy:
A Syntactic Theory of Type Generativity and Sharing. 667-698 - Zine-El-Abidine Benaissa, Daniel Briaud, Pierre Lescanne, Jocelyne Rouyer-Degli:
lambda-nu, A Calculus of Explicit Substitutions which Preserves Strong Normalisation. 699-722 - Dietmar Gärtner, Werner E. Kluge:
π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus. 723-756 - Marc Bezem, Jan Springintveld:
A Simple Proof of the Undecidability of Inhabitation in lambdaP. 757-761
Volume 6, Number 6, November 1996
- Andrea Asperti
, Cecilia Giovanetti, Andrea Naletto:
The Bologna Optimal Higher-Order Machine. 763-810 - Morten Heine Sørensen, Robert Glück, Neil D. Jones:
A Positive Supercompiler. 811-838 - Gerth Stølting Brodal
, Chris Okasaki:
Optimal Purely Functional Priority Queues. 839-857
![](https://dblp.uni-trier.de/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.