95 search results - page 11 / 19 » Recursive Structures for Standard ML |
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
CAINE
2007
13 years 9 months ago
2007
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
CVHI
2007
13 years 9 months ago
2007
The Paper presents multimedia system for accessible distant education which consists of multimedia browser accessible for visually impaired people and content distribution streamin...