7529 search results - page 184 / 1506 » The Modula-3 Type System |
159
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
142
click to vote
ISER
2000
Springer
15 years 8 months ago
2000
Springer
: This paper discusses the general concept of the Super Mechano-System, or SMS and its anticipated applications. The SMS is a new type of robot system, which can transform its shap...
123
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Understanding the use of diagrams and other components of scholarly systems-related papers may inform us about the papers, the field, and the way we think. We analyze 495 papers c...
135
click to vote
ENTCS
2008
15 years 5 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...
141
click to vote
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...