Search results

The End of Error: Unum Computing

Book

Math

Status: Open.

#81 In wdv4758h/notes;

· wdv4758h opened on Aug 27, 2017

獨裁者的進化：收編、分化、假民主

Book

Status: Open.

#80 In wdv4758h/notes;

· wdv4758h opened on Apr 22, 2017

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Book

Coq

Formal Verification

Status: Open.

#79 In wdv4758h/notes;

· wdv4758h opened on Apr 1, 2017

Verified Functional Programming in Agda

Agda

Book

Formal Verification

Status: Open.

#78 In wdv4758h/notes;

· wdv4758h opened on Apr 1, 2017

Write You a Haskell - Building a modern functional compiler from first principles

Book

Haskell

Status: Open.

#76 In wdv4758h/notes;

· wdv4758h opened on Mar 3, 2017

Domain-Specific Languages

Book

Status: Open.

#75 In wdv4758h/notes;

· wdv4758h opened on Mar 2, 2017

Hacker's Delight, 2nd

Book

DS & Algo

Status: Open.

#74 In wdv4758h/notes;

· wdv4758h opened on Feb 27, 2017

血之祕史：科學革命時代的醫學與謀殺故事

Book

Status: Open.

#72 In wdv4758h/notes;

· wdv4758h opened on Feb 17, 2017

Foundations of Programming Languages (Undergraduate Topics in Computer Science)

Book

Language VM

Prolog

Python

Standard ML

Status: Open.

#55 In wdv4758h/notes;

· wdv4758h opened on Feb 10, 2017

Understanding Computation: From Simple Machines to Impossible Programs

Book

Status: Open.

#54 In wdv4758h/notes;

· wdv4758h opened on Feb 10, 2017

Haskell Programming: From First Principles

Book

Haskell

Status: Open.

#51 In wdv4758h/notes;

· wdv4758h opened on Feb 3, 2017

Practical Foundations for Programming Languages, 2nd

Book

Status: Open.

#49 In wdv4758h/notes;

· wdv4758h opened on Jan 28, 2017