1828 search results - page 7 / 366 » First-Class Type Classes |
SCP
2008
13 years 8 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
SIGGRAPH
1994
ACM
14 years 16 days ago
1994
ACM
We present a paradigm and toolkit for rapid prototyping of interactive, animated 3D graphics programs. The paradigm has its roots in declarative programming, emphasizing immutable...
DATESO
2008
13 years 10 months ago
2008
Abstract In recent years, many approaches to indexing XML data have appeared. These approaches attempt to process XML queries efficiently and sufficient query plans are built for t...
POPL
1993
ACM
14 years 16 days ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
APLAS
2006
ACM
14 years 2 months ago
2006
ACM