It looks like you're offline.

LFCS, Dept. of Computer Science, University of Edinburgh Publisher - 36 works / 0 ebooks

Errata and remarks

Correctness of data representations in Algol-like languages

First steps on the representation of domains (extended abstract)

Marcelo P. Fiore

Statically typed friendly functions via partially abstract types

Benjamin C. Pierce

Subtyping in F (omega,lambda) is decidable

Adriana B. Compagnoni

Lax naturality through enrichment

Yoshiki Kinoshita

Multiple inheritance via intersection types

Adriana B. Compagnoni

Literate programming

First-class polymorphisms for ML

Interfaces and extended ML

Mistakes and ambiguities in the definition of Standard ML

The formalisation of a hardware descriptionlanguage in a proof system

K. G. W. Goossens

Publishing History This is a chart to show the when this publisher published books. Along the X axis is time, and on the y axis is the count of editions published. Click here to skip the chart. Reset chart or continue zooming in. This graph charts editions from this publisher over time. Click to view a single year, or drag across a range.

Editions Published

Year of Publication

Common Subjects Search for books published by LFCS, Dept. of Computer Science, University of Edinburgh