Sciweavers

34 search results - page 1 / 7
» ml 1998
Sort
View
77
Voted
ML
1998
ACM
119views Machine Learning» more  ML 1998»
15 years 2 days ago
A Note on Learning from Multiple-Instance Examples
Avrim Blum, Adam Kalai
TAPOS
1998
88views more  TAPOS 1998»
15 years 2 days ago
Objective ML: An Effective Object-Oriented Extension to ML
Didier Rémy, Jerome Vouillon
JFP
1998
44views more  JFP 1998»
15 years 2 days ago
Functorial ML
C. Barry Jay, Gianna Bellè, Eugenio Moggi
81
Voted
FASE
1998
Springer
15 years 4 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