2013 28th Annual ACM/IEEE Symposium on Logic inâ€¦

2013

Data types are undergoing a major leap forward in their sophistication driven by a conjunction of i) theoretical advances in the foundations of data types, and ii) requirements of programmers forâ€¦ (More)

There are several different approaches to the theory of data types. At the simplest level, polynomials and containers give a theory of data types as free standing entities. At a second level ofâ€¦ (More)

There are several different approaches to the theory of data types. At the simplest level, polynomials and containers give a theory of data types as free standing entities. At a second level ofâ€¦ (More)

A new theory of data types which allows for the definition of types as initial algebras of certain functors Fam(C) â†’ Fam(C) is presented. This theory, which we call positive inductive-recursiveâ€¦ (More)