18429 search results - page 208 / 3686 » Typing dynamic typing |
155
click to vote
ICFP
1996
ACM
15 years 10 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
162
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Our research explores a new database extension. Our aim is to see how far it is possible to support collaborative editing and document provenance with database technology, and exte...
152
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
130
click to vote
BIOCOMP
2006
15 years 8 months ago
2006
In this paper evidence is presented that supports the hypothesis that amino acid usage bias is a fundamental property of viral genome types. Clues to the biological basis for the o...
202
click to vote
ACL
2001
15 years 8 months ago
2001
This paper considers three assumptions conventionally made about signatures in typed feature logic that are in potential disagreement with current practice among grammar developer...