Projection Factorisations in Partial Evaluation

DOI10.1017/CBO9780511569814zbMath0752.68055MaRDI QIDQ4001863

John Launchbury

Publication date: 18 September 1992

zbMATH Keywords

polymorphismbinding-time analysisdomain projections

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Related Items

Generalized partial computation using disunification to solve constraints ⋮ Projections for polymorphic strictness analysis ⋮ Two-level languages for program optimization ⋮ Unnamed Item