487 search results - page 6 / 98 » Aspect-oriented programming with type classes |
ECOOP
2004
Springer
14 years 27 days ago
2004
Springer
POPL
1993
ACM
13 years 11 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
ULPAA
1994
13 years 8 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...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
PLDI
1989
ACM
13 years 11 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...