Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Functional Programming, Volume 1
Volume 1, Number 1, January 1991
- F. Warren Burton:
Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics. 3-20 - Carsten K. Gomard, Neil D. Jones:
A Partial Evaluator for the Untyped lambda-Calculus. 21-69 - Mikael Rittri:
Using Types as Search Keys in Function Libraries. 71-89 - Sebastian Hunt
, Chris Hankin:
Fixed Points and Frontiers: A New Perspective. 91-120
- Richard S. Bird:
The Minout Problem. 121-124
Volume 1, Number 2, April 1991
- Henk Barendregt:
Introduction to Generalized Type Systems. J. Funct. Program. 1(2): 125-154 (1991) - Herman Geuvers, Mark-Jan Nederhof:
Modular Proof of Strong Normalization for the Calculus of Constructions. J. Funct. Program. 1(2): 155-189 (1991) - Colin Runciman, Ian Toyn:
Retrieving Reusable Software Components by Polymorphic Type. J. Funct. Program. 1(2): 191-211 (1991) - François Major, Guy Lapalme, Robert Cedergren:
Domain Generating Functions for Solving Constraint Satisfaction Problems. J. Funct. Program. 1(2): 213-227 (1991)
- Henk Barendregt:
Self-Interpretations in lambda Calculus. J. Funct. Program. 1(2): 229-233 (1991)
- Richard S. Bird:
On Removing Duplicates. J. Funct. Program. 1(2): 235-243 (1991)
Volume 1, Number 3, July 1991
- John C. Mitchell:
Type Inference With Simple Subtypes. 245-285 - Ian A. Mason, Carolyn L. Talcott:
Equivalence in Functional Languages with Effects. 287-327 - Geoffrey Livingston Burn:
Implementing the Evaluation Transformer Model of Reduction on Parallel Machines. 329-366
- Erik Barendsen:
An Unsolvable Numeral System in lambda Calculus. 367-372
Volume 1, Number 4, October 1991
- Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy:
Explicit Substitutions. 375-416 - Luca Cardelli, Giuseppe Longo:
A Semantic Basis for Quest. 417-458 - Hanne Riis Nielson, Flemming Nielson:
Using Transformations in the Implementations of Higher-Order Functions. 459-494
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-26 18:31 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:
