3815 search results - page 97 / 763 » An Implementation of Session Types |
146
Voted
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
136
Voted
OOPSLA
2010
Springer
15 years 28 days ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
130
click to vote
FUIN
2010
14 years 12 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
123
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...
238
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...