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

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Kategoriler:

Computers - Programming

Yıl:

1988

Yayımcı:

Cambridge University Press

Dil:

english

Sayfalar:

181

ISBN 10:

0521345898

ISBN 13:

9780521345897

Seriler:

Cambridge Tracts in Theoretical Computer Science 4

Dosya:

DJVU, 1.32 MB

IPFS:

,

english, 1988

Online Oku

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

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

Anahtar ifadeler