Hope: An Experimental Applicative Language (1980)

Cached

Download Links

by R. M. Burstall , D. B. MacQueen , D. T. Sannella
Citations:39 - 3 self

Active Bibliography

9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
95 Equations and rewrite rules: a survey – Gerard Huet, Gerard Huet - 1980
2 Should ML be object-oriented? – David MacQueen
unknown title – unknown authors
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
76 Rules and Strategies for Transforming Functional and Logic Programs – A. Pettorossi, M. Proietti, R. Dicembre - 1996
Introduction to Functional Programming using Gofer – E. P. Wentworth - 1990
8 Higher Order Functions Considered Unnecessary for Higher Order Programming – Joseph A. Goguen - 1990
2 History of IBM's Technical Contributions to High Level Programming Languages – Jean E. Sammet - 1981
8 The inevitable pain of software development: Why there is no silver bullet – Daniel M. Berry - 2004
On Understanding Data . . . – William R. Cook - 2009
19 Parameterized Programming and Software Architecture – Joseph A. Goguen - 1996
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
11 Architectural specifications in CASL – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 1999
21 HYPERPROGRAMMING: A Formal Approach to Software Environments – Joseph A. Goguen - 1990