Neil D. Jones
Selected Papers of the Third European Symposium on Programming
ESOP-J-1990, 1991.

@proceedings{ESOP-J-1990,
	editor        = "Neil D. Jones",
	journal       = "{Science of Computer Programming}",
	number        = "1-3",
	title         = "{Selected Papers of the Third European Symposium on Programming}",
	volume        = 17,
	year          = 1991,
}

Contents (6 items)

2 ×#type system

ESOP-J-1990-Bondorf91 #automation #equation #higher-order #recursion

Automatic Autoprojection of Higher Order Recursive Equations (AB), pp. 3–34.

ESOP-J-1990-Felleisen91 #on the #power of #programming language

On the Expressive Power of Programming Languages (MF), pp. 35–75.

ESOP-J-1990-Heckmann91

Power Domain Constructions (RH), pp. 77–117.

ESOP-J-1990-Helmink91 #type system

Resolution and Type Theory (LH), pp. 119–138.

ESOP-J-1990-Reps91 #algebra #integration

Algebraic Properties of Program Integration (TWR), pp. 139–215.

ESOP-J-1990-Thatte91 #scalability #type system

A Type System for Implicit Scaling (ST), pp. 217–245.