7529 search results - page 87 / 1506 » The Modula-3 Type System |
135
click to vote
ESOP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
139
click to vote
JAPLL
2006
15 years 4 months ago
2006
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...
222
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
143
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
258
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...