Sciweavers

34 search results - page 1 / 7
» ml 1998
Sort
View
TAPOS
1998
88views more  TAPOS 1998»
13 years 4 months ago
Objective ML: An Effective Object-Oriented Extension to ML
Didier Rémy, Jerome Vouillon
JFP
1998
44views more  JFP 1998»
13 years 4 months ago
Functorial ML
C. Barry Jay, Gianna Bellè, Eugenio Moggi
FASE
1998
Springer
13 years 8 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