Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Extended ML

You are here: irt.org | FOLDOC | Extended ML

A language by Don Sannella of the University of Edinburgh combining algebraic specification and functional programming.

["Program Specification and Development in Standard ML", D. Sannella et al, 12th POPL, ACM 1985].


Nearby terms: extended memory « extended memory manager « Extended Memory Specification « Extended ML » Extended Pascal » Extended Self-containing Prolog » Extended System Configuration Data

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb