Sciweavers

2362 search results - page 17 / 473
» Programming in Standard ML
Sort
View
FMCO
2004
Springer
105views Formal Methods» more  FMCO 2004»
15 years 5 months ago
Program Generation and Components
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...
Davide Ancona, Eugenio Moggi
ICDAR
2007
IEEE
15 years 6 months ago
New Aspects of InkML for Pen-Based Computing
As pen-based computing becomes more prevalent, it is increasingly important to be able to share ink across applications and across platforms. The emerging standard Ink Markup Lang...
Stephen M. Watt
ML
2006
ACM
14 years 11 months ago
Gleaner: Creating ensembles of first-order clauses to improve recall-precision curves
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. A common way to measure performance in these domains is to use precision and recall i...
Mark Goadrich, Louis Oliphant, Jude W. Shavlik
ICFP
2008
ACM
15 years 11 months ago
Mixin' up the ML module system
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
Derek Dreyer, Andreas Rossberg
ANSS
2000
IEEE
15 years 4 months ago
Simulation of a Telecommunication System Using SimML
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
Neil A. Speirs, L. B. Arief