1194 search results - page 129 / 239 » A Calculus for Predicative Programming |
126
Voted
APCSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
125
Voted
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
129
Voted
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
114
Voted
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
130
Voted
PLDI
1989
ACM
15 years 6 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...