2646 search results - page 55 / 530 » Local Type Inference |
93
Voted
DBPL
1987
Springer
15 years 4 months ago
1987
Springer
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...
122
click to vote
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Discriminative approaches to human pose inference involve mapping visual observations to articulated body configurations. Current probabilistic approaches to learn this mapping ha...
118
click to vote
HIPC
2003
Springer
15 years 5 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
111
click to vote
POPL
1995
ACM
15 years 4 months ago
1995
ACM
Flow-based safety analysis of higher-order languages has been studied by Shivers, and Palsberg and Schwartzbach. Open until now is the problem of finding a type system that accep...
104
click to vote
TPHOL
2000
IEEE
15 years 5 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...