Skip to contents

Frauenstein, Thomas [Author]

Funktionale Prozeßsprachen höherer Ordnung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1997
Zimmer, Ralf M. [Author] ; Zimmer, Ralf Martin [Other]

Zur Pragmatik eines operationalisierten [lambda]-Kalküls als Basis für interaktive Reduktionssysteme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1991

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 192
Curien, Pierre-Louis [Author]

Categorical combinators, sequential algorithms, and functional programming - [2. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston; [Stuttgart] [u.a.]: Birkhäuser, 1993

Published in: Progress in theoretical computer science ; 9
Palamidessi, Catuscia [Editor] ; PLILP 10 1998 Pisa, ALP 7 1998 Pisa

Principles of declarative programming : 10th International Symposium, PLILP '98, held jointly with the 6th International Conference, ALP '98, Pisa, Italy, September 16 - 18, 1998; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1490
Jay, Barry [Author]

Pattern calculus : computing with functions and structures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009
Leroy, Xavier [Editor]; Ohori, Atsushi [Other] ; TIC 2 1998 Kyōto

Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1473
Sabel, David [Author]; Schmidt-Schauß, Manfred [Author]

On conservativity of concurrent Haskell

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/34312

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Publication Server of Goethe University Frankfurt am Main, 2012-04-18
Sabel, David [Author]; Schmidt-Schauß, Manfred [Author]

On conservativity of concurrent Haskell

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/24252

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Publication Server of Goethe University Frankfurt am Main, 2011-10-17
Sabel, David [Author]

An abstract machine for concurrent Haskell with futures

View online
Schließen

Links

http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/24253

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Publication Server of Goethe University Frankfurt am Main, 2012
Müller, Fritz [Author]

On confluence and semantic full abstraction of lambda calculus languages

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Saarbrücken: Saarländische Universitäts- und Landesbibliothek, Mai 2016
Danilewski, Piotr [Author]

ManyDSL : One host for all language needs

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Saarbrücken, March 2017
Palamidessi, Catuscia [Author] ; Glaser, Hugh [Other]; Meinke, Karl [Other]

Principles of Declarative Programming : 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1490
Cousineau, Guy [Author] ; Curien, Pierre-Louis [Other]; Robinet, Bernard [Other]

Combinators and Functional Programming Languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1986

Published in: Lecture notes in computer science ; 242
Leroy, Xavier [Author] ; Ohori, Atsushi [Other]

Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1473
Cousineau, Guy [Other] ; Laboratoire d'informatique théorique et programmation

Combinators and functional programming languages : thirteenth Spring School of the LITP, Val d'Ajol, France, May 6 - 10, 1985 ; proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1986 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 24200

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication