Sciweavers

4190 search results - page 1 / 838
» Type Class Directives
Sort
View
PADL
2005
Springer
14 years 4 months ago
Type Class Directives
Bastiaan Heeren, Jurriaan Hage
ULPAA
1994
152views Hardware» more  ULPAA 1994»
14 years 23 hour ago
Programming with ASN.1 Using Polymorphic Types and Type Specialization
object-oriented abstractions is described that permits direct programming with ASN.1 speci ed types. The design and implementation also supports the exible use of di erent encoding...
R. Greg Lavender, Dennis G. Kafura, R. W. Mullins
SCAM
2008
IEEE
14 years 5 months ago
Type Highlighting: A Client-Driven Visual Approach for Class Hierarchies Reengineering
Polymorphism and class hierarchies are key to increasing the extensibility of an object-oriented program but also raise challenges for program comprehension. Despite many advances...
Petru Florin Mihancea
ICFP
2010
ACM
13 years 11 months ago
Instance chains: type class programming without overlapping instances
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...
J. Garrett Morris, Mark P. Jones
PVLDB
2008
121views more  PVLDB 2008»
13 years 10 months ago
Type inference and type checking for queries on execution traces
This paper studies, for the first time, the management of type information for an important class of semi-structured data: nested DAGs (Directed Acyclic Graphs) that describe exec...
Daniel Deutch, Tova Milo