Lambda-calculus, combinators and functional programming

Main
Computers - Programming
Lambda-calculus, combinators and...

Lambda-calculus, combinators and functional programming

Révész, György E

0 / 0

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

Kategorien:

Computers - Programming

Jahr:

1988

Verlag:

Cambridge University Press

Sprache:

english

Seiten:

181

ISBN 10:

0521345898

ISBN 13:

9780521345897

Serien:

Cambridge Tracts in Theoretical Computer Science 4

Datei:

DJVU, 1.32 MB

IPFS:

,

english, 1988

Online lesen

Die Konvertierung in ist im Gange

Die Konvertierung in ist fehlgeschlagen

Es kann für Sie interessant sein

György E. Révész — Introduction to Formal Languages

Harrison J. — Introduction to functional programming

Gary W Luck; Richard Harrington; Paula A Harrison; Claire Kremen; Pam M Berry; All authors — Quantifying the Contribution of Organisms to the Provision of Ecosystem Services

— Combinatory logic. Vol. 1.

Nils M Holm — Compiling Lambda Calculus

Rose K.H. — Explicit substitution - Tutorial and survey

Georg P. Loczewski — A++ and the Lambda Calculus

Barendregt H., Barendsen E. — Introduction to Lambda Calculus (Введение в лямбда-исчисление)

Manfred von Thun — The Joy Programming Language Collection

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.) — Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

Rhys Price Jones, Fritz Ruehr, Richard Salter — Combinators and Graph Reduction (in Scheme)

Barendregt H., Barendsen E. — Introduction to Lambda calculus

Rose K.H. — Explicit substitutions in rewriting systems - tutorial and survey

Rose K.H. — Explicit substitutions in rewriting systems - tutorial and survey

Gordon M — Introduction to functional programming

Paulson L.C. — Foundations of functional programming

[edited by] Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin. — Combinatory logic. / Volume II

Simon L Peyton Jones — The implementation of functional programming languages

Simon L. Peyton Jones — The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

Lalement, René — Computation as logic

Chris Hankin — Lambda Calculi: A Guide for Computer Scientists

Anthony J. Field, Peter Harrison — Functional Programming

Michael J. O'Donnell — Equational Logic as a Programming Language (Foundations of Computing)

— Functional and Logic Programming

Katalin Bimbo (Author) — Combinatory Logic: Pure, Applied and Typed

Antoni Diller — Compiling Functional Languages

M. R. Sleep, M. J. Plasmeijer — Functional programming and parallel graph rewriting(free web version)

Greg Michaelson — An Introduction to Functional Programming Through Lambda Calculus

G. E. Revesz — Lambda-calculus, Combinators and Functional Programming

Harold Simmons — Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

Haskell B. Curry, Robert Feys, William Craig — Combinatory Logic: Volume I

Aaron Stump — Programming language foundations

Katalin Bimbó — Combinatory Logic: Pure, Applied and Typed

Katalin Bimbó — Combinatory Logic. Pure, Applied and Typed

Corrado Böhm (auth.), Prof. C. Böhm (eds.) — λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975

Am meisten angefragte Begriffe