10666 search results - page 1397 / 2134 » Quantum programming languages |
179
click to vote
MSCS
2008
15 years 7 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
170
click to vote
ENTCS
2000
15 years 7 months ago
2000
We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey [16]. To...
149
click to vote
ENTCS
2002
15 years 7 months ago
2002
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
146
click to vote
JSYML
2000
15 years 7 months ago
2000
We show that to every recursive total continuous functional there is a representative of in the hierearchy of partial continuous functionals such that is S1 - S9 computable ov...
188
click to vote
SIGPLAN
2002
15 years 7 months ago
2002
Field accessor methods have become a ubiquitous feature of object-oriented programming. The definition and use of such methods promote code bloat and an unnatural expression style...