Sciweavers

180 search results - page 4 / 36
» ml 2007
Sort
View
JFP
2007
112views more  JFP 2007»
13 years 5 months ago
Dependent ML An approach to practical programming with dependent types
We present an approach to enriching the type system of ML with a restricted form of de
Hongwei Xi
BIOINFORMATICS
2005
76views more  BIOINFORMATICS 2005»
13 years 5 months ago
The carbohydrate sequence markup language (CabosML): an XML description of carbohydrate structures
Norihiro Kikuchi, Akihiko Kameyama, Shuuichi Nakay...
SNPD
2003
13 years 6 months ago
Semantics of Minimally Synchronous Parallel ML
This paper presents a new functional parallel language: Minimally Synchronous Parallel ML. The execution time can then be estimated and dead-locks and indeterminism are avoided. I...
Myrto Arapinis, Frédéric Loulergue, ...