Тема, жанр, tags: functional programming,lisp,scheme,lambda calculus » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: functional programming,lisp,scheme,lambda calculus

book Structure and Interpretation of Computer Programs

Structure and Interpretation of Computer Programs

pdf

Author: Hal Abelson, Gerald Jay Sussman
Language: English
Year: 2016

00

01.03.2024

0

0

book Cultural Construction of Empire : The U.S. Army in Arizona and New Mexico

Cultural Construction of Empire : The U.S. Army in Arizona and New Mexico

pdf

Author: Janne Lahti
Language: English
Year: 2012

00

01.03.2024

0

0

book Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

pdf

Author: Boro Sitnikovski
Language: English
Year: 2023

00

15.02.2024

0

0

book Types and Programming Languages

Types and Programming Languages

pdf

Author: Benjamin C. Pierce
Language: English
Year: 2002

00

07.02.2024

0

0

book Haskell Programming from First Principles

Haskell Programming from First Principles

pdf

Author: Chris Allen & Julie Moronuki
Language: English

00

30.01.2024

0

0

book Topology, Domain Theory and Theoretical Computer Science

Topology, Domain Theory and Theoretical Computer Science

pdf

Author: Michael W. Mislove
Language: English
Year: 1997

00

27.01.2024

0

0