2565 search results - page 49 / 513 » Object type constructors |
COORDINATION
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
Abstract. Region-based memory management scheme has been proposed for the programming language ML. In this scheme, a compiler statically estimates the lifetime of each object by pe...
TLCA
1995
Springer
14 years 11 days ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
TASE
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...