Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Collected Size Semantics for Functional Programs over lists

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

Publication date

January 2008

Publisher

onbekend : Institute for Computing and Information Sciences

Abstract

Contains fulltext : 72040.pdf (author's version ) (Open Access)35 p

Extracted data

Topics

Related items

High Level Specification of I/O in Functional Languages

Achten, P.M.
Groningen, J van
Plasmeijer, R.

January 1992

Contains fulltext : 111089.pdf (author's version ) (Open Access)17 p

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

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

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

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists -- Full version: 28 pages

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

January 2009

Contains fulltext : 75339.pdf (publisher's version ) (Open Access)28 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

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists

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

January 2009

Contains fulltext : 75338.pdf (preprint version ) (Open Access)10th symposium on t...

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

Constructing medium sized efficient functional programs in Clean

Eekelen, M.C.J.D. van
Plasmeijer, R.

January 1995

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

Functional programming and the language TALE

Barendregt, H.P.
Leeuwen, Marco van

January 1986

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

Operational Machine Specification in a Functional Programming Language

Koopman, P.W.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 1995

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

Operational Machine Specification in a functional programming language

Koopman, P.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 1993

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

Functional programs as executable specifications

Koopman, P.W.M.

January 1990

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

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

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

Efficient functional programming: compilation and programming techniques

Nöcker, E.G.J.M.H.

January 1994

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

High Level Specification of I/O in Functional Languages

Achten, P.M.
Groningen, J van
Plasmeijer, R.

January 1992

Contains fulltext : 111089.pdf (author's version ) (Open Access)17 p

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

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

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

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists -- Full version: 28 pages

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

January 2009

Contains fulltext : 75339.pdf (publisher's version ) (Open Access)28 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

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists

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

January 2009

Contains fulltext : 75338.pdf (preprint version ) (Open Access)10th symposium on t...

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

Constructing medium sized efficient functional programs in Clean

Eekelen, M.C.J.D. van
Plasmeijer, R.

January 1995

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

Functional programming and the language TALE

Barendregt, H.P.
Leeuwen, Marco van

January 1986

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

Operational Machine Specification in a Functional Programming Language

Koopman, P.W.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 1995

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

Operational Machine Specification in a functional programming language

Koopman, P.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 1993

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

Functional programs as executable specifications

Koopman, P.W.M.

January 1990

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

Functional programming and lambda calculus

Barendregt, H.P.

January 1990

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

Efficient functional programming: compilation and programming techniques

Nöcker, E.G.J.M.H.

January 1994

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

High Level Specification of I/O in Functional Languages

Achten, P.M.
Groningen, J van
Plasmeijer, R.

January 1992

Contains fulltext : 111089.pdf (author's version ) (Open Access)17 p

Theorem Proving for functional Programmers

Mol, M.J.T.M.
Eekelen, M.C.J.D. van
Plasmeijer, M.J.

January 2001

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

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