596 search results - page 32 / 120 » Subtyping Recursive Types |
120
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
126
click to vote
COORDINATION
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
154
click to vote
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
WCRE
1998
IEEE
15 years 5 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
105
click to vote
IWPC
1999
IEEE
15 years 5 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...