1932 search results - page 119 / 387 » A Functional Quantum Programming Language |
102
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
127
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
104
Voted
PLPV
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a resource typing framework for the Guru d-programming language, in which abstractions for various kinds of program resources can be defined. Implemented exam...
97
Voted
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
113
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...