Extended ML: Past, present and future (1991)

Cached

Download Links

by Donald Sannella , Andrzej Tarlecki
Venue:PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534
Citations:22 - 8 self

Active Bibliography

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
34 Formal program development in Extended ML for the working programmer – Donald Sannella - 1991
11 Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL – Bernd Krieg-Brückner, Donald Sannella
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
51 Toward formal development of ML programs: foundations and methodology – Donald Sannella, Andrzej Tarlecki - 1989
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
6 A Kernel Specification Formalism with Higher-Order Parameterisation – Donald Sannella, Andrzej Tarlecki - 1991
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
Type Theory for Programming Languages – Robert Harper - 1994
3 A Visual Programming Environment for Functional Languages – Joel Kelso - 2002
30 Principal Signatures for Higher-order Program Modules – Mads Tofte, Mds Torre - 1993
34 The definition of Extended ML: a gentle introduction – Stefan Kahrs , Donald Sannella, Andrzej Tarlecki - 1995
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
95 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
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