2742 search results - page 2 / 549 » Deriving Category Theory from Type Theory |
FOSSACS
2003
Springer
13 years 10 months ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
POPL
2003
ACM
13 years 10 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
CSL
2004
Springer
13 years 10 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
DATESO
2008
13 years 6 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
CP
2011
Springer
12 years 4 months ago
2011
Springer