Zum Inhalt springen

Stärk, Robert F. [Verfasser:in]

Axioms for strict and lazy functional programs

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

ETH, Eidgenössische Technische Hochschule Zürich, Computer Science Department, 2003

Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 417
Herbelin, Hugo [Verfasser:in]; Letouzey, Pierre [Verfasser:in]; Sozeau, Matthieu [Verfasser:in] ; Hugo Herbelin and Pierre Letouzey and Matthieu Sozeau [Mitwirkende:r]

LIPIcs, Volume 39, TYPES'14, Complete Volume

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Matthes, Ralph [Verfasser:in]; Schubert, Aleksy [Verfasser:in] ; Ralph Matthes and Aleksy Schubert [Mitwirkende:r]

LIPIcs, Volume 26, TYPES'13, Complete Volume

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Danielsson, Nils Anders [Verfasser:in]; Nordström, Bengt [Verfasser:in] ; Nils Anders Danielsson and Bengt Nordström [Mitwirkende:r]

LIPIcs, Volume 19, TYPES'11, Complete Volume

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Missura, Stephan Albert [Verfasser:in]

Eliminating the shortcomings of free datatype definitions

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Eidgenössische Technische Hochschule, Departement Informatik, Institut für Theoretische Informatik, 1995-12

Erschienen in: Technischer Bericht / Eidgenössische Technische Hochschule, Departement Informatik, 242
Neykova, Rumyana [Verfasser:in]; Ng, Nicholas [Verfasser:in] ; Rumyana Neykova and Nicholas Ng [Mitwirkende:r]

OASIcs, Volume 43, ICCSW'14, Complete Volume

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Lesniak, Michael Christian [Verfasser:in] ; Kassel, Universität Kassel, FB16, Elektrotechnik / Informatik [Mitwirkende:r]; Fohry, Claudia [Mitwirkende:r]; Grelck, Clemens [Mitwirkende:r]

On the Benefits of Abstraction in Concurrent Haskell

Online ansehen
Schließen

Links

... zur Hochschulschrift via Resolving-System

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv), 2012-07-30
Altenkirch, Thorsten [Verfasser:in] ; Thorsten Altenkirch [Mitwirkende:r]

LIPIcs, Volume 38, TLCA'15, Complete Volume

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Sajanikar, Yogesh [Verfasser:in]

Haskell cookbook : build functional applications using Monads, Applicatives, and Functors

Online ansehen
Schließen

Zugang

... zum E-Book

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Birmingham, UK: Packt Publishing, 2017
Swarup, Vipin; Reddy, Uday S.; Ireland, Evan

Functional Programming Languages and Computer Architecture: Assignments for applicative languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1991

Erschienen in: Functional Programming Languages and Computer Architecture (1991), Seite 192-214
Wise, David S.

Functional Programming Languages and Computer Architecture: Matrix algebra and applicative programming

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1987

Erschienen in: Functional Programming Languages and Computer Architecture (1987), Seite 134-153
Abramsky, S.; Sykes, R.

Functional Programming Languages and Computer Architecture: Secd-m: a virtual machine for applicative programming

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1985

Erschienen in: Functional Programming Languages and Computer Architecture (1985), Seite 81-98
O'Donnell, John T.

Functional Programming Languages and Computer Architecture: An architecture that efficiently updates associative aggregates in applicative programming languages

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1985

Erschienen in: Functional Programming Languages and Computer Architecture (1985), Seite 164-189

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr