Category Theory for Programmers (Scala edition)

Main
Mathematics - Algebra
Category Theory for Programmers (Scala...

Category Theory for Programmers (Scala edition)

Bartosz Milewski

5.0 / 5.0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

類別:

Mathematics - Algebra

年:

2019

版本:

v1.3.0-0-g6bb0bc0

語言:

english

頁數:

565

文件:

PDF, 15.93 MB

IPFS:

,

english, 2019

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

Glynn Winskel — The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Kees Doets, van Jan Eijck — The Haskell Road to Logic, Maths and Programming

Miran Lipovaca — Learn You a Haskell for Great Good!: A Beginner's Guide

Alexander Granin — Functional Design and Architecture

The Univalent Foundations Program — Homotopy Type Theory: Univalent Foundations of Mathematics

Michael Barr, Charles Wells — Category Theory for Computing Science

Emily Riehl — Category theory in context

Harold Simmons — An Introduction to Category Theory [Solution Manual]

Chris Allen, Julie Moronuki — Haskell Programming from First Principles

Alvin Alexander — Functional Programming, Simplified: (Scala edition)

Yogesh Sajanikar — Haskell Cookbook: Build functional applications using Monads, Applicatives, and Functors

vbw-Vereinigung der Bayerischen Wirtschaft e.V. — Bildungsreform 2000 - 2010 - 2020: Jahresgutachten 2011

Sabine Klomfaß — Hochschulzugang und Bologna-Prozess: Bildungsreform am Übergang von der Universität zum Gymnasium

Bartosz Milewski — Category Theory for Programmers

Sandy Maguire — Thinking with Types : Type-level Programming in Haskell

杨月欣，葛可佑 — 中国营养科学全书：全2册（第2版）

Bartosz Milewski; Igal Tabachnik — Category Theory for Programmers

Chris Penner — Optics By Example: Functional lenses in Haskell

Emily Riehl — Category theory in context

Michael Coulson, Gombrich Richard, James Benson — Teach Yourself Sanskrit

Valerie Hansen — The Silk Road: A New History

Steve Awodey — Category Theory

Chris Heunen, Jamie Vicary — Categories for Quantum Theory: An Introduction

Fethi A. Rabhi, Guy Lapalme — Algorithms: A Functional Programming Approach

Bartosz Milewski — C++ In Action: Industrial Strength Programming Techniques

Andrea Asperti, Giuseppe Longo — Categories, types, and structures. Introduction to category theory for computer scientists

Benjamin C. Pierce — Advanced topics in types and programming languages

R. Kent Dybvig — The Scheme Programming Language

Daniel P. Friedman; David Thrane Christiansen — The Little Typer

Benjamin C. Pierce — Basic Category Theory for Computer Scientists

Saunders Mac Lane — Categories for the Working Mathematician

Jiri Adamek, Horst Herrlich, George E. Strecker — Abstract and concrete categories: the joy of cats

Michaelson, G. — An Introduction to Functional Programming Through Lambda Calculus

Emily Riehl — Category Theory in Context

F. William Lawvere, Robert Rosebrugh — Sets for Mathematics

Richard Bird — Pearls of Functional Algorithm Design

Francis Borceux — 001: Handbook of Categorical Algebra: Volume 1, Basic Category Theory

J. Roger Hindley — Basic Simple Type Theory

Okasaki, Chris — Purely functional data structures

Henk Barendregt, Wil Dekkers, Richard Statman — Lambda Calculus with Types

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

Bryan O'Sullivan, John Goerzen, Don Stewart — Real World Haskell

最常見的術語

相關書單