Awesome Open Source

Programming Languages

Search results for book type theory

7 search results found

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

How To Prove ⭐ 203

My Solution to Velleman's book

Hott Intro ⭐ 169

An introductory course to Homotopy Type Theory

Foundational Knowledge For Programmers ⭐ 112

List of resources about foundational knowledge for programmers (supposed to last a few decades)

Agda formalisation of the Introduction to Homotopy Type Theory

Reed Thesis ⭐ 13

My undergradate thesis on coinductive types in univalent type theory

Typonomikon ⭐ 11

Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.

Related Searches

Javascript Book (3,527)

Python Book (2,997)

Java Book (1,765)

Html Book (1,582)

Jupyter Notebook Book (926)

Programming Book (889)

Reactjs Book (762)

Book Ebook (715)

Typescript Book (552)

1-7 of 7 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.