18 search results - page 1 / 4 » Mixing the Objective Caml and C |
CORR
2007
Springer
13 years 5 months ago
2007
Springer
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
We have designed, implemented, and evaluated AtomCaml, an extension to Objective Caml that provides a synchronization primitive for atomic (transactional) execution of code. A fir...
PPL
2008
13 years 5 months ago
2008
In this paper, we present HirondML, an Objective Caml library implementing migrating threads. Our library is based on a simplified implementation of the Fair Threads, a reactive t...
ML
2006
ACM
13 years 11 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
CVPR
2010
IEEE
13 years 4 months ago
2010
IEEE
We present a hierarchical principle for object recognition and its application to automatically classify developmental stages of C. elegans animals from a population of mixed stag...