Sciweavers

34 search results - page 1 / 7
» ml 1998
Sort
View
130
Voted
TAPOS
1998
88views more  TAPOS 1998»
15 years 4 months ago
Objective ML: An Effective Object-Oriented Extension to ML
Didier Rémy, Jerome Vouillon
JFP
1998
44views more  JFP 1998»
15 years 4 months ago
Functorial ML
C. Barry Jay, Gianna Bellè, Eugenio Moggi
115
Voted
TIP
1998
90views more  TIP 1998»
15 years 4 months ago
ML parameter estimation for Markov random fields with applications to Bayesian tomography
Suhail S. Saquib, Charles A. Bouman, Ken D. Sauer
FASE
1998
Springer
15 years 9 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