Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540578802, 9783540483762

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fully abstract translations and parametric polymorphism

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_30 ◽

1994 ◽

pp. 454-468 ◽

Cited By ~ 1

Author(s):

Peter W. O'Hearn ◽

Jon G. Riecke

Keyword(s):

Parametric Polymorphism

Download Full-text

Local type reconstruction by means of symbolic fixed point iteration

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_3 ◽

1994 ◽

pp. 43-57 ◽

Cited By ~ 2

Author(s):

Torben Amtoft

Keyword(s):

Fixed Point ◽

Fixed Point Iteration ◽

Local Type ◽

Type Reconstruction

Download Full-text

Foundational issues in implementing constraint logic programming systems

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_5 ◽

1994 ◽

pp. 74-88

Author(s):

James H. Andrews

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Programming Systems

Download Full-text

Shapely types and shape polymorphism

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_20 ◽

1994 ◽

pp. 302-316 ◽

Cited By ~ 16

Author(s):

C. Barry Jay ◽

J. R. B. Cockett

Download Full-text

A logical denotational semantics for constraint logic programming

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_13 ◽

1994 ◽

pp. 195-210

Author(s):

Alessandra Pierro ◽

Catuscia Palamidessi

Keyword(s):

Logic Programming ◽

Denotational Semantics ◽

Constraint Logic Programming

Download Full-text

Characterizing behavioural semantics and abstractor semantics

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_7 ◽

1994 ◽

pp. 105-119 ◽

Cited By ~ 7

Author(s):

Michel Bidoit ◽

Rolf Hennicker ◽

Martin Wirsing

Download Full-text

First-class polymorphism for ML

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_22 ◽

1994 ◽

pp. 333-347

Author(s):

Stefan Kahrs

Download Full-text

Strategies in modular system design by interface rewriting

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_11 ◽

1994 ◽

pp. 165-179

Author(s):

S. Cicerone ◽

F. Parisi Presicce

Keyword(s):

System Design ◽

Modular System

Download Full-text

A theory of primitive objects

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_1 ◽

1994 ◽

pp. 1-25 ◽

Cited By ~ 12

Author(s):

Martín Abadi ◽

Luca Cardelli

Download Full-text

Type classes in Haskell

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science ◽

10.1007/3-540-57880-3_16 ◽

1994 ◽

pp. 241-256 ◽

Cited By ~ 12

Author(s):

Cordelia Hall ◽

Kevin Hammond ◽

Simon Peyton Jones ◽

Philip Wadler

Keyword(s):

Type Classes

Download Full-text

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Fully abstract translations and parametric polymorphism

Local type reconstruction by means of symbolic fixed point iteration

Foundational issues in implementing constraint logic programming systems

Shapely types and shape polymorphism

A logical denotational semantics for constraint logic programming

Characterizing behavioural semantics and abstractor semantics

First-class polymorphism for ML

Strategies in modular system design by interface rewriting

A theory of primitive objects

Type classes in Haskell

Programming Languages and Systems — ESOP '94 - Lecture Notes in Computer Science
Latest Publications