432 search results - page 31 / 87 » Type Inference for COBOL Systems |
ESOP
2004
Springer
13 years 11 months ago
2004
Springer
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
BMCBI
2010
13 years 7 months ago
2010
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
ECOOP
2012
Springer
11 years 10 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
WACV
2002
IEEE
14 years 17 days ago
2002
IEEE
We propose a non-intrusive eye tracking system intended for the use of everyday gaze typing using web cameras. We argue that high precision in gaze tracking is not needed for on-s...