Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Functional programming and the language TALE

Barendregt, H.P.
Leeuwen, Marco van

Publication date

January 1986

DOI

10.1007/bfb0027041

Publisher

Berlin : Springer-Verlag

ISSN

0302-9743

Abstract

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

Extracted data

Related items

The implementation of functional languages on parallel machines with distributed memory

Kesseler, M.H.G.

January 1996

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

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

Draft Proceedings of the Sixth Advanced Functional Programming School (AFP'08)

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

January 2008

Contains fulltext : 72204.pdf (publisher's version ) (Open Access)244 p

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 programming and lambda calculus

Barendregt, H.P.

January 1990

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

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

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

Functional programs as executable specifications

Koopman, P.W.M.

January 1990

Contains fulltext : mmubn000001_114677735.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

A functional approach to syntax and typing

Beuken, F.A.M. van den

January 1997

Contains fulltext : 18613.pdf (publisher's version ) (Open Access)Promotores : R. ...

LISP as a second language: Functional aspects

Desain, P.

January 1990

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

Interactive functional programs: models, methods, and implementation

Achten, P.M.

January 1996

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

Language: Structure, processing and disorders

Hagoort, P.

January 1993

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

A functional framework for deterministically interleaved interactive programs

Achten, P.

January 1995

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

High Level Specification of I/O in Functional Languages

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

January 1992

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

The implementation of functional languages on parallel machines with distributed memory

Kesseler, M.H.G.

January 1996

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

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

Draft Proceedings of the Sixth Advanced Functional Programming School (AFP'08)

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

January 2008

Contains fulltext : 72204.pdf (publisher's version ) (Open Access)244 p

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 programming and lambda calculus

Barendregt, H.P.

January 1990

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

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

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

Functional programs as executable specifications

Koopman, P.W.M.

January 1990

Contains fulltext : mmubn000001_114677735.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

A functional approach to syntax and typing

Beuken, F.A.M. van den

January 1997

Contains fulltext : 18613.pdf (publisher's version ) (Open Access)Promotores : R. ...

LISP as a second language: Functional aspects

Desain, P.

January 1990

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

Interactive functional programs: models, methods, and implementation

Achten, P.M.

January 1996

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

Language: Structure, processing and disorders

Hagoort, P.

January 1993

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

A functional framework for deterministically interleaved interactive programs

Achten, P.

January 1995

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

High Level Specification of I/O in Functional Languages

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

January 1992

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

The implementation of functional languages on parallel machines with distributed memory

Kesseler, M.H.G.

January 1996

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

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

Draft Proceedings of the Sixth Advanced Functional Programming School (AFP'08)

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

January 2008

Contains fulltext : 72204.pdf (publisher's version ) (Open Access)244 p