3116 search results - page 38 / 624 » Positively dependent types |
ECIS
2001
14 years 11 months ago
2001
The Internet can be used as an instrument to serve the market for management education. Depending on the educational demands of customers, the usage of the Internet varies. In the...
120
click to vote
CADE
1998
Springer
15 years 2 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
FOSSACS
2003
Springer
15 years 2 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Many real-world data are maintained in relational format, with different tables storing information about entities and their links or relationships. The structure (schema) of the ...