Eekelen, M.: Size analysis of algebraic data types

Development of algebra algorithms for automated generation of grain-size distribution maps

Alessandro Sarretta (447214)
Mauro Masiol (1375047)
Emanuela Molinaroli (464284)

January 2016

This paper is an open access version of the published paper Development of algebra algorithms for au...

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

Algebraic System Specification and Developement:Survey and Annotated Bibliography

Cerioli, Maura
Gogolla, Martin
Kirchner, Hélène
Krieg-Brückner, Bernd
Qian, Zhenyu
Wolf, Markus

January 1999

2nd edition, 1997. Ouvrage (éditeur).The present volume is an annotated bibliography which attempts ...

Size Analysis of Algebraic Data Types

Tamalet, Alejandro
Shkaravska, Olha
Eekelen, M.C.J.D. van

January 2009

Contains fulltext : 75839.pdf (publisher's version ) (Open Access)Ninth Symposium ...

A Size-Aware Type System with Algebraic Data Types

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

January 2008

Contains fulltext : 72731.pdf (publisher's version ) (Open Access)34 p. p

Mathematics

Herman Geuvers
Rob Nederpelt

September 2016

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

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

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) ...

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

Amortized Heap Space Usage Analysis

September 2016

The following full text is an author's version which may differ from the publisher's versi...

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

Practical Type Inference for the GADT Type System

Lin, Chuan-kai

January 2010

Generalized algebraic data types (GADTs) are a type system extension to algebraic data types that al...

Algebraic Theories: A Categorical Introduction to General Algebra

Adámek, J
Rosický, J
Vitale, E M

January 2010

Up-to-date categorical view of sets with extra algebraic structure (data types), with applications i...

Polynomial Size Analysis with Families of Piecewise Polynomials for Functional Programs over Lists? With soundness proof and examples in detail

O. Shkaravska
M. Van Eekelen
A. Tamalet

July 2015

Abstract. Size analysis can play an important role in optimising mem-ory management and in preventin...

Errata: Algebraic Combinatorics on Words

October 2015

This document contains errata for the book Algebraic Combinatorics on Words. Page and line numbers r...

Development of algebra algorithms for automated generation of grain-size distribution maps

Alessandro Sarretta (447214)
Mauro Masiol (1375047)
Emanuela Molinaroli (464284)

January 2016

This paper is an open access version of the published paper Development of algebra algorithms for au...

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

Algebraic System Specification and Developement:Survey and Annotated Bibliography

Cerioli, Maura
Gogolla, Martin
Kirchner, Hélène
Krieg-Brückner, Bernd
Qian, Zhenyu
Wolf, Markus

January 1999

2nd edition, 1997. Ouvrage (éditeur).The present volume is an annotated bibliography which attempts ...

Size Analysis of Algebraic Data Types

Tamalet, Alejandro
Shkaravska, Olha
Eekelen, M.C.J.D. van

January 2009

Contains fulltext : 75839.pdf (publisher's version ) (Open Access)Ninth Symposium ...

A Size-Aware Type System with Algebraic Data Types

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

January 2008

Contains fulltext : 72731.pdf (publisher's version ) (Open Access)34 p. p

Mathematics

Herman Geuvers
Rob Nederpelt

September 2016

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

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

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) ...

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

Amortized Heap Space Usage Analysis

September 2016

The following full text is an author's version which may differ from the publisher's versi...

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

Practical Type Inference for the GADT Type System

Lin, Chuan-kai

January 2010

Generalized algebraic data types (GADTs) are a type system extension to algebraic data types that al...

Algebraic Theories: A Categorical Introduction to General Algebra

Adámek, J
Rosický, J
Vitale, E M

January 2010

Up-to-date categorical view of sets with extra algebraic structure (data types), with applications i...

Polynomial Size Analysis with Families of Piecewise Polynomials for Functional Programs over Lists? With soundness proof and examples in detail

O. Shkaravska
M. Van Eekelen
A. Tamalet

July 2015

Abstract. Size analysis can play an important role in optimising mem-ory management and in preventin...

Errata: Algebraic Combinatorics on Words

October 2015

This document contains errata for the book Algebraic Combinatorics on Words. Page and line numbers r...

Development of algebra algorithms for automated generation of grain-size distribution maps

Alessandro Sarretta (447214)
Mauro Masiol (1375047)
Emanuela Molinaroli (464284)

January 2016

This paper is an open access version of the published paper Development of algebra algorithms for au...

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

Algebraic System Specification and Developement:Survey and Annotated Bibliography

Cerioli, Maura
Gogolla, Martin
Kirchner, Hélène
Krieg-Brückner, Bernd
Qian, Zhenyu
Wolf, Markus

January 1999

2nd edition, 1997. Ouvrage (éditeur).The present volume is an annotated bibliography which attempts ...

Eekelen, M.: Size analysis of algebraic data types

Abstract

Extracted data

Eekelen, M.: Size analysis of algebraic data types

Abstract

Extracted data

Related items

Related items