Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền

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

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Thể loại:

Computers - Programming

Năm:

1988

Nhà xuát bản:

Cambridge University Press

Ngôn ngữ:

english

Trang:

181

ISBN 10:

0521345898

ISBN 13:

9780521345897

Loạt:

Cambridge Tracts in Theoretical Computer Science 4

File:

DJVU, 1.32 MB

IPFS:

,

english, 1988

Đọc online

Hoàn thành chuyển đổi thành trong

Chuyển đổi thành không thành công

Có thể bạn quan tâm

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

Từ khóa thường sử dụng nhất