Polynomial Size Analysis of First-Order Shapely Functions

Inverse coefficients and symmetrization of univalent functions

Campschroer, J.T.P.

January 1984

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

Shape-preserving approximation by polynomials

Leviatan, D.

September 2000

AbstractWe are going to survey recent developments and achievements in shape-preserving approximatio...

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

Polynomial Size Analysis of First-Order Shapely Functions

Shkaravska, Olha
van Eekelen, Marko
van Kesteren, Ron

May 2009

We present a size-aware type system for first-order shapely functiondefinitions. Here, a function de...

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

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

January 2007

Contains fulltext : 36644.pdf (publisher's version ) (Closed access)32 p

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

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

CURVE-FITTING USING NATURAL COMPUTATION

Deweijer, A.P.
Lucasius, C.B.
Buydens, L.
Kateman, G.
Heuvel, H.M.
Mannee, H.

January 1994

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

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

Some combinatorial questions about polynomial mappings

Essen, A. van den
Shpilrain, V.

January 1997

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

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

Universal natural shapes: From unifying shape description to simple methods for shape analysis and boundary value problems

Gielis, J.
Caratelli, D.
Fougerolle, Y.
Ricci, P.E.
Tavkelidze, I.
Gerats, T.

January 2012

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

Size functions and formal series

P. Frosini
LANDI, Claudia

January 2001

In this paper we consider a mathematical tool for shape description called size function. We prove t...

A new class of invertible polynomial maps

Essen, A.R.P. van den
Hubbers, E.M.G.M.

January 1997

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

Inverse coefficients and symmetrization of univalent functions

Campschroer, J.T.P.

January 1984

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

Shape-preserving approximation by polynomials

Leviatan, D.

September 2000

AbstractWe are going to survey recent developments and achievements in shape-preserving approximatio...

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

Polynomial Size Analysis of First-Order Shapely Functions

Shkaravska, Olha
van Eekelen, Marko
van Kesteren, Ron

May 2009

We present a size-aware type system for first-order shapely functiondefinitions. Here, a function de...

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

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

January 2007

Contains fulltext : 36644.pdf (publisher's version ) (Closed access)32 p

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

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

CURVE-FITTING USING NATURAL COMPUTATION

Deweijer, A.P.
Lucasius, C.B.
Buydens, L.
Kateman, G.
Heuvel, H.M.
Mannee, H.

January 1994

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

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

Some combinatorial questions about polynomial mappings

Essen, A. van den
Shpilrain, V.

January 1997

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

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

Universal natural shapes: From unifying shape description to simple methods for shape analysis and boundary value problems

Gielis, J.
Caratelli, D.
Fougerolle, Y.
Ricci, P.E.
Tavkelidze, I.
Gerats, T.

January 2012

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

Size functions and formal series

P. Frosini
LANDI, Claudia

January 2001

In this paper we consider a mathematical tool for shape description called size function. We prove t...

A new class of invertible polynomial maps

Essen, A.R.P. van den
Hubbers, E.M.G.M.

January 1997

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

Inverse coefficients and symmetrization of univalent functions

Campschroer, J.T.P.

January 1984

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

Shape-preserving approximation by polynomials

Leviatan, D.

September 2000

AbstractWe are going to survey recent developments and achievements in shape-preserving approximatio...

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

Polynomial Size Analysis of First-Order Shapely Functions

Abstract

Extracted data

Polynomial Size Analysis of First-Order Shapely Functions

Abstract

Extracted data

Related items

Related items