Programming Language - Extended ML


Extended ML

Extended ML - Don Sannella, Edinburgh. Algebraic specification meets
functional programming. "Program Specification and Development in Standard
ML", D. Sannella et al, 12th POPL, ACM 1985.

Comments, Experience, Additions

Next Language:   Extended Pascal


Language Search

 


Browse by Letter

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


Extended ML Programming Language
http://www.programming-languages.co.uk/extended-ml.html
Large list of computer programming languages arranged alphabetically, with explanations.






©Copyright 2007 - Programming Languages