163 search results - page 9 / 33 » PolyAML: a polymorphic aspect-oriented functional programmin... |
POPL
1992
ACM
13 years 11 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
FOAL
2008
ACM
13 years 9 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
PADL
2004
Springer
14 years 27 days ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
ICFP
1999
ACM
13 years 12 months 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...
TACS
1994
Springer
13 years 11 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...