Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions

Sub-constant error low degree test of almost-linear size

Dana Moshkovitz
Ran Raz

August 2014

Given a function f: F m → F over a finite field F, a low degree tester tests its proximity to an m-v...

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

Derivation and Inference of Higher-Order Strictness Types

Smetsers, S.
Eekelen, M.C.J.D. van

January 2015

Contains fulltext : 149047.pdf (author's 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

Polynomial Size Analysis of First-Order Shapely Functions

Shkaravska, Olha
Eekelen, M.C.J.D. van
Kesteren, Ron van

January 2009

Contains fulltext : 76008.pdf (publisher's version ) (Open Access)36 p

Inferring Static Non-monotone Size-aware Types Through Testing

van Kesteren, Ron
Shkaravska, Olha
van Eekelen, Marko

July 2008

AbstractWe propose a size analysis procedure that combines testing and type checking to automaticall...

Type Checking and Weak Type Inference for Polynomial Size Analysis of First-Order Functions

Olha Shkaravska
Ron Van Kesteren
Marko Van Eekelen

March 2020

Abstract. We present a size-aware type system for first-order shapely functions. Here, a function is...

Type inference in context

Gundry, A.
McBride, C.
McKinna, J.

January 2010

Contains fulltext : 83744.pdf (publisher's version ) (Open Access)MSFP'10 : third ...

Size Analysis with Indexed Families of max0-Polynomials

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

January 2008

Contains fulltext : 72620.pdf (publisher's version ) (Closed access)28 p

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

Type Inference for a Polynomial Lambda Calculus?

Marco Gaboardi
Simona Ronchi
Della Rocca

August 2015

Abstract. We study the type inference problem for the Soft Type As-signment system (STA) for λ-calcu...

Type inference for a polynomial lambda calculus

Marco Gaboardi
Simona Ronchi
Della Rocca

January 2008

Abstract. We study the type inference problem for the Soft Type As-signment system (STA) for λ-calcu...

Some Improvements to Total Degree Tests

Katalin Friedl
MADHU SUDAN

January 1995

A low-degree test is a collection of simple, local rules for checking the proximity of an arbitrary ...

Automatic Testing of Higher Order Functions

Koopman, Pieter
Plasmeijer, Rinus

January 2006

Contains fulltext : 36061.pdf (author's version ) (Open 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) ...

Sub-constant error low degree test of almost-linear size

Dana Moshkovitz
Ran Raz

August 2014

Given a function f: F m → F over a finite field F, a low degree tester tests its proximity to an m-v...

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

Derivation and Inference of Higher-Order Strictness Types

Smetsers, S.
Eekelen, M.C.J.D. van

January 2015

Contains fulltext : 149047.pdf (author's 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

Polynomial Size Analysis of First-Order Shapely Functions

Shkaravska, Olha
Eekelen, M.C.J.D. van
Kesteren, Ron van

January 2009

Contains fulltext : 76008.pdf (publisher's version ) (Open Access)36 p

Inferring Static Non-monotone Size-aware Types Through Testing

van Kesteren, Ron
Shkaravska, Olha
van Eekelen, Marko

July 2008

AbstractWe propose a size analysis procedure that combines testing and type checking to automaticall...

Type Checking and Weak Type Inference for Polynomial Size Analysis of First-Order Functions

Olha Shkaravska
Ron Van Kesteren
Marko Van Eekelen

March 2020

Abstract. We present a size-aware type system for first-order shapely functions. Here, a function is...

Type inference in context

Gundry, A.
McBride, C.
McKinna, J.

January 2010

Contains fulltext : 83744.pdf (publisher's version ) (Open Access)MSFP'10 : third ...

Size Analysis with Indexed Families of max0-Polynomials

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

January 2008

Contains fulltext : 72620.pdf (publisher's version ) (Closed access)28 p

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

Type Inference for a Polynomial Lambda Calculus?

Marco Gaboardi
Simona Ronchi
Della Rocca

August 2015

Abstract. We study the type inference problem for the Soft Type As-signment system (STA) for λ-calcu...

Type inference for a polynomial lambda calculus

Marco Gaboardi
Simona Ronchi
Della Rocca

January 2008

Abstract. We study the type inference problem for the Soft Type As-signment system (STA) for λ-calcu...

Some Improvements to Total Degree Tests

Katalin Friedl
MADHU SUDAN

January 1995

A low-degree test is a collection of simple, local rules for checking the proximity of an arbitrary ...

Automatic Testing of Higher Order Functions

Koopman, Pieter
Plasmeijer, Rinus

January 2006

Contains fulltext : 36061.pdf (author's version ) (Open 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) ...

Sub-constant error low degree test of almost-linear size

Dana Moshkovitz
Ran Raz

August 2014

Given a function f: F m → F over a finite field F, a low degree tester tests its proximity to an m-v...

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

Derivation and Inference of Higher-Order Strictness Types

Smetsers, S.
Eekelen, M.C.J.D. van

January 2015

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

Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions

Abstract

Extracted data

Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions

Abstract

Extracted data

Related items

Related items