2803 search results - page 16 / 561 » A Type System for Prototyping Languages |
POPL
2002
ACM
14 years 8 months ago
2002
ACM
POPL
2002
ACM
14 years 8 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
PLDI
2003
ACM
14 years 1 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
JUCS
2006
13 years 8 months ago
2006
: This paper defines algorithms to automatically detect five types of bad smells that occur in aspect-oriented systems, more specifically those written using the AspectJ language. ...
ICFP
1999
ACM
14 years 23 days ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...