Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Functional programming : practice and theory

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

Functional programming : practice and theory

Bruce J MacLennan

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Computers - Programming

Anno:

1990

Casa editrice:

Addison-Wesley

Lingua:

english

Pagine:

610

ISBN 10:

0201137445

ISBN 13:

9780201137446

File:

DJVU, 4.13 MB

IPFS:

,

english, 1990

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

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

Termini più frequenti