163 search results - page 5 / 33 » AspectML: A polymorphic aspect-oriented functional programmi... |
ICFP
1999
ACM
13 years 11 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...
IJFCS
2000
13 years 6 months ago
2000
This work is about an experimental paradigmatic functional language for programming with P-TIME functions. The language is designed from Intuitionistic Light Affine Logic. It can ...
AOSD
2007
ACM
13 years 10 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
HASKELL
2006
ACM
14 years 20 days ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
APLAS
2005
ACM
14 years 8 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...