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

Четете Онлайн

Изтегляне (pdf, 15.93 MB)

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

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

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

Harold Simmons — An Introduction to Category Theory

Най-често използвани термини

Свързани списъци с книги