1999 search results - page 102 / 400 » Dependently Typed Grammars |
220
Voted
HASKELL
2005
ACM
16 years 16 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
194
Voted
CSL
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
190
click to vote
ESERNET
2003
Springer
16 years 6 days ago
2003
Springer
The origin of the study described here is the experiment performed by Basili and Selby, further replicated by Kamsties and Lott, and once again by Wood et al. These experiments inv...
195
click to vote
HIPC
2003
Springer
16 years 5 days 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...
160
Voted
INTERACT
2003
15 years 8 months ago
2003
With dwell time activation, completely hands free interaction may be achieved by tracking the user’s gaze positions. The first study presented compares typing by mouse click with...