3815 search results - page 76 / 763 » An Implementation of Session Types |
122
click to vote
LICS
2010
IEEE
15 years 29 days ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
117
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
215
Voted
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
122
click to vote
TACS
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
ENTCS
2008
15 years 2 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...