Sciweavers

34 search results - page 1 / 7
» ml 1998
Sort
View
TAPOS
1998
88views more  TAPOS 1998»
14 years 10 months ago
Objective ML: An Effective Object-Oriented Extension to ML
Didier Rémy, Jerome Vouillon
JFP
1998
44views more  JFP 1998»
14 years 10 months ago
Functorial ML
C. Barry Jay, Gianna Bellè, Eugenio Moggi
FASE
1998
Springer
15 years 2 months ago
Reflections on the Design of a Specification language
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
Stefan Kahrs, Donald Sannella