Foundations of functional programming

Main
Computers - Programming
Foundations of functional programming

Foundations of functional programming

Paulson L.C.

0 / 0

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

Kategorije:

Computers - Programming

Godina:

1995

Jezik:

english

Strane:

54

Fajl:

PDF, 257 KB

IPFS:

,

english, 1995

Preuzeti (pdf, 257 KB)

Konvertovanje u je u toku

Konvertovanje u nije uspešno

Možda će vas zanimati

Gordon M — Introduction to functional programming

Chris Reade — Elements Of Functional Programming

Gerard Huet — Logical Foundations of Functional Programming

Harrison J. — Introduction to functional programming

Desconocido — Grigore Roşu Programming Language Semantics Lectures Slides University Of Illinois 2018

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.

Matthias Felleisen & Matthew Flatt — Programming languages and lambda calculi

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

Grigore Roşu — Programming Language Semantics (Lectures Slides)

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

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

[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 (Prentice-Hall International Series in Computer Science)

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

Chris Hankin — Lambda Calculi: A Guide for Computer Scientists

Anthony J. Field, Peter Harrison — Functional Programming

Simon Thompson — Type theory and functional programming

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt — Semantics engineering with PLT Redex

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

Hendrik Pieter Barendregt — The lambda calculus: its syntax and semantics

Antoni Diller — Compiling Functional Languages

Greg Michaelson — An Introduction to Functional Programming Through Lambda Calculus

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

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

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

J. Roger Hindley, Jonathan P. Seldin — Lambda-calculus and combinators, an introduction

Curry H.B., Hindley J.R., Seldin J.P — Combinatory logic

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

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

Stephen Wolfram — Combinators: A Centennial View

John Cooke — Constructing correct software

D. John Cooke — Constructing Correct Software

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

Najčešći pojmovi