2076 search results - page 8 / 416 » Functional logic overloading |
FSS
2010
13 years 6 months ago
2010
GI
1997
Springer
14 years 23 days ago
1997
Springer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
The system of Peirce’s existential graphs is a diagrammatic version of first order logic. To be more precisely: As Peirce wanted to develop a logic of relatives (i.e., relations...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
ICFP
2010
ACM
13 years 9 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...