Science of Computer Programming
, Volume 17
Volume 17, Numbers 1-3, December 1991
Selected papers of
ESOP '90
Neil D. Jones
: Foreword (Selected Papers of ESOP '90). 1-2
Anders Bondorf
:
Automatic Autoprojection of Higher Order Recursive Equations.
3-34
Matthias Felleisen
:
On the Expressive Power of Programming Languages.
35-75
Reinhold Heckmann
:
Power Domain Constructions.
77-117
Leen Helmink
:
Resolution and Type Theory.
119-138
Thomas W. Reps
:
Algebraic Properties of Program Integration.
139-215
Satish Thatte
:
A Type System for Implicit Scaling.
217-245
Last update Sat May 18 20:52:09 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page