Sciweavers

1559 search results - page 12 / 312
» Fundamentals of Generic Programming
Sort
View
76
Voted
ICFP
2008
ACM
15 years 9 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
CIE
2006
Springer
15 years 1 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
ICALP
2000
Springer
15 years 1 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
OOPSLA
2004
Springer
15 years 2 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
ICFP
2009
ACM
15 years 10 months ago
Generic programming with fixed points for mutually recursive datatypes
Alexey Rodriguez Yakushev, Andres Löh, Johan ...