default search action

combined dblp search
author search
venue search
publication search

ask others

The Journal of Functional Programming, Volume 4

> Home > Journals > The Journal of Functional Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 4, Number 1, January 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Arya94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Arya94
Kavi Arya:
A Functional Animation Starter-Lit. 1-18
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Keane94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Keane94
John A. Keane:
An Overview of the Flagship System. 19-45
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/LinsTJ94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/LinsTJ94
Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones:
On the Equivalence Between CMC and TIM. 47-63
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BurtonR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BurtonR94
F. Warren Burton, Victor J. Rayward-Smith:
Worst Case Scheduling for Parallel Functional Programs. 65-75
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/CoquandH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/CoquandH94
Thierry Coquand, Hugo Herbelin:
A - Translation and Looping Combinators in Pure Type Systems. 77-88
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Zhu94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Zhu94
Hong Zhu:
How Powerful are Folding/Unfolding Transformations? 89-112

Theoretical Pearl

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/CurienH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/CurienH94
Pierre-Louis Curien, Thérèse Hardin:
Yet Yet a Counterexample for lambda + SP. 113-115

Functional Pearl

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AugustssonRS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AugustssonRS94
Lennart Augustsson, Mikael Rittri, Dan Synek:
On Generating unique Names. 117-123

Volume 4, Number 2, April 1994

Type Systems for Object-Oriented Programming

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Bruce94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Bruce94
Kim B. Bruce:
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. 127-206
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/PierceT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/PierceT94
Benjamin C. Pierce, David N. Turner:
Simple Type-Theoretic Foundations for Object-Oriented Programming. 207-247
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Abadi94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Abadi94
Martín Abadi:
Baby Modula-3 and a Theory of Objects. 249-283

Volume 4, Number 3, July 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Tofte94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Tofte94
Mads Tofte:
Principal Signatures for Higher-Order Program Modules. 285-335
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/NilssonF94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/NilssonF94
Henrik Nilsson, Peter Fritzson:
Algorithmic Debugging for Lazy Functional Languages. 337-369
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Huet94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Huet94
Gérard P. Huet:
Residual Theory in lambda-Calculus: A Formal Development. 371-394

Volume 4, Number 4, October 1994

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Mackie94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Mackie94
Ian Mackie:
Lilac: A Functional Programming Language Based on Linear Logic. 395-433
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HengleinM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HengleinM94
Fritz Henglein, Harry G. Mairson:
The Complexity of Type Inference for Higher-Order Typed lambda Calculi. 435-477
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Lisper94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Lisper94
Björn Lisper:
Total Unfolding: Theory and Applications. 479-498
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Gluck94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Gluck94
Robert Glück:
On the Generation of Specializers. 499-514
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Chin94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Chin94
Wei-Ngan Chin:
Safe Fusion of Functional Expressions II: Further Improvements. 515-555
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Hutton94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Hutton94
Graham Hutton:
Book Review: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7. 557-559

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.