Sciweavers

1559 search results - page 12 / 312
» Fundamentals of Generic Programming
Sort
View
ICFP
2008
ACM
16 years 2 months ago
Scala for generic programmers
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
Bruno C. D. S. Oliveira, Jeremy Gibbons
114
Voted
CIE
2006
Springer
15 years 6 months ago
Datatype-Generic Reasoning
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...
Roland Carl Backhouse
104
Voted
ICALP
2000
Springer
15 years 6 months ago
A Generic Model for Diagram Syntax and Semantics
In this paper, we recall how the syntax of diagrams is captured by the diagram editor generator DIAGEN, and outline a visual, rule-based, and objectoriented programming language b...
Berthold Hoffmann, Mark Minas
130
Voted
OOPSLA
2004
Springer
15 years 8 months ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek
206
Voted
ICFP
2009
ACM
16 years 3 months ago
Generic programming with fixed points for mutually recursive datatypes
Alexey Rodriguez Yakushev, Andres Löh, Johan ...