18429 search results - page 141 / 3686 » Typing dynamic typing |
136
click to vote
CADE
2006
Springer
16 years 6 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...
169
click to vote
LICS
2008
IEEE
16 years 25 days 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...
192
click to vote
TPHOL
2008
IEEE
16 years 24 days 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...
137
click to vote
AVSS
2007
IEEE
16 years 23 days 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...
131
click to vote
TGC
2007
Springer
16 years 16 days 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...