A Size-Aware Type System with Algebraic Data Types

Problems in type theory

Barendregt, H.P.

January 1999

Contains fulltext : 17275.pdf (preprint version ) (Open Access

Lambda calculi with types

Barendregt, H.P.

January 1992

Contains fulltext : 13247.pdf (publisher's version ) (Open Access) ...

Generic Generation of Elements of Types

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32549.pdf (author's version ) (Open Access

Size Analysis of Algebraic Data Types

Tamalet, A.N.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2008

Contains fulltext : 72619.pdf (preprint version ) (Open Access)Draft Proceedings o...

Eekelen, M.: Size analysis of algebraic data types

Ro Tamalet
Olha Shkaravska
Marko Van Eekelen

January 2009

The following full text is a preprint version which may differ from the publisher's version

A Typical Synergy : Dynamic types and generalised algebraic datatypes

Noort, T. van
Achten, P.
Plasmeijer, R.

January 2011

Contains fulltext : 84450.pdf (publisher's version ) (Closed access

Type classes for mathematics in type theory

Spitters, B.A.W.
Weegen, E.E. van der

January 2011

Contains fulltext : 92523.pdf (preprint version ) (Open Access) ...

Static Inference of Polynomial Size--Aware Types

Shkaravska, O.
Eekelen, M.C.J.D. van

January 2007

Contains fulltext : 36493.pdf (author's version ) (Open Access)20 p

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists

Shkaravska, O.
Eekelen, M.C.J.D. van
Tamalet, A.N.

January 2014

Contains fulltext : 135045.pdf (publisher's version ) (Closed access

Logics and type systems

Geuvers, J.H.

January 1993

Contains fulltext : mmubn000001_167204513.pdf (publisher's version ) (Open Access)...

An Interactive Viewer for Mathematical Content Based On Type Theory

Oostdijk, M.

January 2000

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

Size Calculus for a higher-order functional language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 135248.pdf (publisher's version ) (Closed access)14 p

A type system for Continuation Calculus

Geuvers, H.
Geraedts, W.
Geron, B.
Stegeren, J. van

January 2014

Contains fulltext : 132755.pdf (preprint version ) (Open Access

A higher-order size system for a higher-order functional language,Size Calculus for a Higher-Order Functional Language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 103399.pdf (preprint version ) (Open Access

A lightweight approach to datatype-generic rewriting

Noort, T. van
Rodriguez, A.
Jeuring, J.
Heeren, B.
Magalhaes, J.P.
Holdermans, S.

January 2010

Contains fulltext : 84367.pdf (publisher's version ) (Open Access

Problems in type theory

Barendregt, H.P.

January 1999

Contains fulltext : 17275.pdf (preprint version ) (Open Access

Lambda calculi with types

Barendregt, H.P.

January 1992

Contains fulltext : 13247.pdf (publisher's version ) (Open Access) ...

Generic Generation of Elements of Types

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32549.pdf (author's version ) (Open Access

Size Analysis of Algebraic Data Types

Tamalet, A.N.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2008

Contains fulltext : 72619.pdf (preprint version ) (Open Access)Draft Proceedings o...

Eekelen, M.: Size analysis of algebraic data types

Ro Tamalet
Olha Shkaravska
Marko Van Eekelen

January 2009

The following full text is a preprint version which may differ from the publisher's version

A Typical Synergy : Dynamic types and generalised algebraic datatypes

Noort, T. van
Achten, P.
Plasmeijer, R.

January 2011

Contains fulltext : 84450.pdf (publisher's version ) (Closed access

Type classes for mathematics in type theory

Spitters, B.A.W.
Weegen, E.E. van der

January 2011

Contains fulltext : 92523.pdf (preprint version ) (Open Access) ...

Static Inference of Polynomial Size--Aware Types

Shkaravska, O.
Eekelen, M.C.J.D. van

January 2007

Contains fulltext : 36493.pdf (author's version ) (Open Access)20 p

Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists

Shkaravska, O.
Eekelen, M.C.J.D. van
Tamalet, A.N.

January 2014

Contains fulltext : 135045.pdf (publisher's version ) (Closed access

Logics and type systems

Geuvers, J.H.

January 1993

Contains fulltext : mmubn000001_167204513.pdf (publisher's version ) (Open Access)...

An Interactive Viewer for Mathematical Content Based On Type Theory

Oostdijk, M.

January 2000

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

Size Calculus for a higher-order functional language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 135248.pdf (publisher's version ) (Closed access)14 p

A type system for Continuation Calculus

Geuvers, H.
Geraedts, W.
Geron, B.
Stegeren, J. van

January 2014

Contains fulltext : 132755.pdf (preprint version ) (Open Access

A higher-order size system for a higher-order functional language,Size Calculus for a Higher-Order Functional Language

Gobi, A.
Shkaravska, O.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 103399.pdf (preprint version ) (Open Access

A lightweight approach to datatype-generic rewriting

Noort, T. van
Rodriguez, A.
Jeuring, J.
Heeren, B.
Magalhaes, J.P.
Holdermans, S.

January 2010

Contains fulltext : 84367.pdf (publisher's version ) (Open Access

Problems in type theory

Barendregt, H.P.

January 1999

Contains fulltext : 17275.pdf (preprint version ) (Open Access

Lambda calculi with types

Barendregt, H.P.

January 1992

Contains fulltext : 13247.pdf (publisher's version ) (Open Access) ...

Generic Generation of Elements of Types

Koopman, P.W.M.
Plasmeijer, M.J.

January 2005

Contains fulltext : 32549.pdf (author's version ) (Open Access

A Size-Aware Type System with Algebraic Data Types

Abstract

Extracted data

A Size-Aware Type System with Algebraic Data Types

Abstract

Extracted data

Related items

Related items