iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/db/journals/jfp/jfp1.html

dblp: Journal of Functional Programming, Volume 1

default search action

combined dblp search
author search
venue search
publication search

ask others

The Journal of Functional Programming, Volume 1

> Home > Journals > The Journal of Functional Programming

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 1, Number 1, January 1991

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Burton91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Burton91
F. Warren Burton:
Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics. 3-20
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/GomardJ91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/GomardJ91
Carsten K. Gomard, Neil D. Jones:
A Partial Evaluator for the Untyped lambda-Calculus. 21-69
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Rittri91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Rittri91
Mikael Rittri:
Using Types as Search Keys in Function Libraries. 71-89
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/HuntH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/HuntH91
Sebastian Hunt, Chris Hankin:
Fixed Points and Frontiers: A New Perspective. 91-120

Functional Pearls

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Bird91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Bird91
Richard S. Bird:
The Minout Problem. 121-124

Volume 1, Number 2, April 1991

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Barendregt91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Barendregt91
Henk Barendregt:
Introduction to Generalized Type Systems. J. Funct. Program. 1(2): 125-154 (1991)
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/GeuversN91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/GeuversN91
Herman Geuvers, Mark-Jan Nederhof:
Modular Proof of Strong Normalization for the Calculus of Constructions. J. Funct. Program. 1(2): 155-189 (1991)
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/RuncimanT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/RuncimanT91
Colin Runciman, Ian Toyn:
Retrieving Reusable Software Components by Polymorphic Type. J. Funct. Program. 1(2): 191-211 (1991)
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/MajorLC91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/MajorLC91
François Major, Guy Lapalme, Robert Cedergren:
Domain Generating Functions for Solving Constraint Satisfaction Problems. J. Funct. Program. 1(2): 213-227 (1991)

Theoretical Pearls

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Barendregt91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Barendregt91a
Henk Barendregt:
Self-Interpretations in lambda Calculus. J. Funct. Program. 1(2): 229-233 (1991)

Functional Pearls

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Bird91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Bird91a
Richard S. Bird:
On Removing Duplicates. J. Funct. Program. 1(2): 235-243 (1991)

Volume 1, Number 3, July 1991

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Mitchell91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Mitchell91
John C. Mitchell:
Type Inference With Simple Subtypes. 245-285
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/MasonT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/MasonT91
Ian A. Mason, Carolyn L. Talcott:
Equivalence in Functional Languages with Effects. 287-327
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Burn91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Burn91
Geoffrey Livingston Burn:
Implementing the Evaluation Transformer Model of Reduction on Parallel Machines. 329-366

Theoretical Pearls

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Barendsen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Barendsen91
Erik Barendsen:
An Unsolvable Numeral System in lambda Calculus. 367-372

Volume 1, Number 4, October 1991

- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AbadiCCL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AbadiCCL91
Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy:
Explicit Substitutions. 375-416
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/CardelliL91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/CardelliL91
Luca Cardelli, Giuseppe Longo:
A Semantic Basis for Quest. 417-458
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/NielsonN91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/NielsonN91
Hanne Riis Nielson, Flemming Nielson:
Using Transformations in the Implementations of Higher-Order Functions. 459-494

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.