137 search results - page 2 / 28 » Polymorphic Directional Types for Logic Programming |
ULPAA
1994
13 years 6 months ago
1994
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...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
POPL
1997
ACM
13 years 9 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
LPAR
2005
Springer
13 years 10 months ago
2005
Springer
LICS
1991
IEEE
13 years 8 months ago
1991
IEEE
