2880 search results - page 21 / 576 » Types are calling conventions |
TSE
2008
14 years 11 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
111
click to vote
ACL
2001
15 years 1 months ago
2001
This paper considers three assumptions conventionally made about signatures in typed feature logic that are in potential disagreement with current practice among grammar developer...
ENTCS
2002
14 years 11 months ago
2002
This paper presents a new lambda-calculus with singleton types, called {}. The main novelty of
114
click to vote
CSL
2000
Springer
15 years 4 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
CSL
2000
Springer
15 years 4 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...