18429 search results - page 141 / 3686 » Typing dynamic typing |
117
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
143
click to vote
LICS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
163
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
114
click to vote
AVSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper deals with classification of human gait types based on the notion that different gait types are in fact different types of locomotion, i.e., running is not simply walk...
114
Voted
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...