Functional programming : practice and theory

Main
Computers - Programming
Functional programming : practice and...

Functional programming : practice and theory

Bruce J MacLennan

0 / 0

यह पुस्तक आपको कितनी अच्छी लगी?

फ़ाइल की गुणवत्ता क्या है?

पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें

डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?

श्रेणियाँ:

Computers - Programming

साल:

1990

प्रकाशन:

Addison-Wesley

भाषा:

english

पृष्ठ:

610

ISBN 10:

0201137445

ISBN 13:

9780201137446

फ़ाइल:

DJVU, 4.13 MB

IPFS:

,

english, 1990

ऑनलाइन पढ़ें

में रूपांतरण जारी है

में रूपांतरण विफल रहा

आप के लिए दिलचस्प हो सकता है

coll. — Functional pearls: A collection of advanced articles on functional programming selected from the Web, 1992-2015

Chris Reade — Elements Of Functional Programming

Gerard Huet — Logical Foundations of Functional Programming

Anthony J. Field, Peter Harrison — Functional Programming

Hans-Wolfgang Loidl — Trends in Functional Programming

Nils M Holm — Compiling Lambda Calculus

Wozancraft J.M., Evans A — Notes on programming linguistics

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

David Aspinall (auth.), Leszek Pacholski, Jerzy Tiuryn (eds.) — Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Paul Hudak — Conception, Evolution and Application of Functional Programming Languages

Oscar Nierstrasz — Programming Languages (Lectures Slides)

Hudak P. — Conception, Evolution, And Application Of Functional Programming Languages

Hudak P. — Conception, evolution, and application of functional programming languages

John Allen — Anatomy of LISP

Simon L. Peyton Jones — The Implementation of Functional Programming Languages

Hugh Glaser, Chris Hankin, David Till — Principles of Functional Programming

Michael J.C. Gordon — Programming Language Theory and Its Implementation

Rene Lalement, John Plaice — Computation as logic

Chris Hankin — Lambda Calculi: A Guide for Computer Scientists

Greg Michaelson — An Introduction to Functional Programming Through Lambda Calculus

Harold Abelson,Gerald Jay Sussman,Julie Sussman — Structure and Interpretation of Computer Programs

Stark, W. Richard — LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications

John C. Reynolds — Theories of Programming Languages

Révész, György E — Lambda-calculus, combinators and functional programming

J. Darlington; P. Henderson; D. A. Turner (eds.) — Functional Programming and Its Applications: An Advanced Course

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

Christian Queinnec — Lisp in Small Pieces

Christian Queinnec, Kathleen Callaway — LISP in small pieces

Reynolds J.C. — Theories of programming languages

Aaron Stump — Programming Language Foundations

Saverio Perugini — Programming Languages: Concepts and Implementation

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

D. A. Turner (auth.), Jean-Pierre Jouannaud (eds.) — Functional Programming Languages and Computer Architecture: Nancy, France, September 16–19, 1985

Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.) — ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

Gordon Plotkin (auth.), Takayasu Ito, Albert R. Meyer (eds.) — Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

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

Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.) — Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Samson Abramsky, Pasquale Malacaria (auth.), Masami Hagiya, John C. Mitchell (eds.) — Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19–22, 1994 Proceedings

सबसे उपयोगी शब्द