1828 search results - page 7 / 366 » First-Class Type Classes |
SCP
2008
14 years 9 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
15 years 1 months 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...
101
Voted
DATESO
2008
14 years 11 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
15 years 1 months 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...
70
Voted
APLAS
2006
ACM
15 years 3 months ago
2006
ACM