18429 search results - page 454 / 3686 » Typing dynamic typing |
218
Voted
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
192
Voted
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
We propose a conservative extension of HM(X), a generic constraint-based type inference framework, with bounded existential (a.k.a. abstract) and universal (a.k.a. polymorphic) da...
160
Voted
APLAS
2009
ACM
16 years 2 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
210
Voted
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
224
Voted
ECOOP
1998
Springer
15 years 12 months ago
1998
Springer
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...