GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → steshaw → Plt

steshaw / Plt

λΠ Programming Language Theory

Programming Languages

CSS
56736 projects
HTML
75241 projects
javascript
184084 projects - #8 most used programming language

Labels

functional-programmingcategory-theorytype-theorylogicproof-theory

Projects that are alternatives of or similar to Plt

Arrow
Λrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+3.51%)
Mutual labels:  category-theory, functional-programming
Category Theory Programmers
Category theory in the context of (functional) programming
Stars: ✭ 465 (-89.91%)
Mutual labels:  category-theory, functional-programming
Kind
A modern proof language
Stars: ✭ 2,075 (-54.98%)
Mutual labels:  type-theory, functional-programming
Naive functional programming
A naive approach to functional programming using TypeScript
Stars: ✭ 129 (-97.2%)
Mutual labels:  category-theory, functional-programming
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (-33.52%)
Mutual labels:  type-theory, functional-programming
Functional Examples
Examples with Functional JavaScript, following Professor Frisby's course
Stars: ✭ 179 (-96.12%)
Mutual labels:  category-theory, functional-programming
reed-thesis
My undergradate thesis on coinductive types in univalent type theory
Stars: ✭ 14 (-99.7%)
Mutual labels:  type-theory, category-theory
Bow
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
Stars: ✭ 538 (-88.33%)
Mutual labels:  category-theory, functional-programming
Zio Prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration
Stars: ✭ 267 (-94.21%)
Mutual labels:  category-theory, functional-programming
cat
A categorical semantics library in Agda.
Stars: ✭ 16 (-99.65%)
Mutual labels:  type-theory, category-theory
Fundamental Haskell
Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
Stars: ✭ 88 (-98.09%)
Mutual labels:  category-theory, functional-programming
Scala typeclassopedia
Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
Stars: ✭ 338 (-92.67%)
Mutual labels:  category-theory, functional-programming
Milewski Ctfp Pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+96.07%)
Mutual labels:  category-theory, functional-programming
Cql
Categorical Query Language IDE
Stars: ✭ 196 (-95.75%)
Mutual labels:  category-theory, functional-programming
Fp Core.rs
A library for functional programming in Rust
Stars: ✭ 772 (-83.25%)
Mutual labels:  category-theory, functional-programming
Foundational Knowledge For Programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)
Stars: ✭ 115 (-97.5%)
Mutual labels:  type-theory, category-theory
SymmetryBookFormalization
Univalent mathematics in Agda
Stars: ✭ 117 (-97.46%)
Mutual labels:  type-theory, category-theory
Typedefs
Programming language agnostic type construction language based on polynomials.
Stars: ✭ 337 (-92.69%)
Mutual labels:  type-theory, category-theory
Fp Resources
Functional programming great resources
Stars: ✭ 369 (-91.99%)
Mutual labels:  category-theory, functional-programming
Topshell
TopShell - a purely functional, reactive scripting language
Stars: ✭ 422 (-90.84%)
Mutual labels:  functional-programming
View All Similar Projects ➔
layout title
page
Programming Language Theory

Programming Language Theory

Finding a path to enlightenment in Programming Language Theory can be a tough one, particularly for programming practitioners who didn't learn it at school. This resource is here to help. Please feel free to ping me or send pull requests if you have ideas for improvement.

Note that I've attempted to order the books in order of most "tackleable". So the idea is to read books from top to bottom. As always, it depends on your background and inclinations. It would be nice to provide multiple paths through this material for folks with different backgrounds and even folks with different goals. However, for now, it is what it is.

Mathematical Literacy

Algebra

Type Theory

For a quick course in Type Theory, Philip Wadler recommends: Types and Programming Languages, Proofs and Types, followed by Advanced Topics in Types and Programming Languages.

Books

Papers

Videos

Subtopics

  • [Higher Type Theory]({{site.github.url | replace: 'http://', '//'}}/higher-type-theory/)
  • [Module Systems]({{site.github.url | replace: 'http://', '//'}}/module-systems/)
  • [Effect Systems]({{site.github.url | replace: 'http://', '//'}}/effect-systems/)

Programming Languages

Books

  • DCPL - Design Concepts in Programming Languages – Franklyn Turbak and David Gifford, 2008
  • CTM - Concepts, Techniques and Models of Computer Programming, Peter Van Roy and Seif Haridi
  • EOPL - Essentials of Programming Languages, 3rd Edition - Daniel P. Friedman
  • PLAI-2nd - Programming Languages: Application and Interpretation - Shriram Krishnamurthi course with videos PLAI-1st
  • PAIP Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp - Peter Norvig, 1992
  • PLP Programming Language Pragmatics - Michael L. Scott
  • FSPL The Formal Semantics of Programming Languages - Glynn Winskel

Papers

Compiler Construction

Books

  • MinCaml - A Crash Course for the MinCaml Compiler
  • MCIiML Modern Compiler Implementation in ML - Andrew W. Appel
  • pj-lester-book Implementing functional languages: a tutorial - Simon Peyton Jones and David Lester, 1992
  • slpj-book-1987 - The Implementation of Functional Programming Languages - Simon Peyton Jones - 1987
  • MCD-2e Modern Compiler Design, Second Edition — Dick Grune et al.
  • EaC-2e Engineering a Compiler, 2nd Edition, Cooper and Torczon
  • Compiler Construction, Niklaus Wirth
  • DragonBook - "The Dragon Book" Compilers: Principles, Techniques, and Tools
  • LiSP - Lisp in Small Pieces - Christian Queinnec
  • CwC Compiling with Continuations - Andrew W. Appel
  • Static Program Analysis, Anders Møller and Michael I. Schwartzbach
  • List of compiler books at the GCC Wiki

Papers

Videos

Runtime systems

Books

Papers

Functional Programming

Books

  • Bird and Wadler - Introduction to Functional Programming, 1st Edition - Bird and Wadler
  • AoP - The Algebra of Programming - Richard Bird, Oege de Moor
  • Programming in Haskell — Graham Hutton (2007)
  • RWH - Real World Haskell - Bryan O'Sullivan, Don Stewart, and John Goerzen
  • FPiS - Functional Programming in Scala - Paul Chiusano and Rúnar Bjarnason
  • SICP, Structure and Interpretation of Computer Programs, by Abelson, Sussman, and Sussman
  • PCPH - Parallel and Concurrent Programming in Haskell - Simon Marlow
  • RWOC - Real World OCaml - Jason Hickey, Anil Madhavapeddy, and Yaron Minsky
  • Developing Applications With OCaml — Emmanuel Chailloux, Pascal Manoury and Bruno Pagano (2000)
  • BTLS - The Little Schemer - Daniel P. Friedman, Matthias Felleisen
  • BTSS - The Seasoned Schemer - Daniel P. Friedman, Matthias Felleisen
  • BTML - The Little MLer - Matthias Felleisen, Daniel P. Friedman
  • The Reasoned Schemer and miniKanren
  • HTDP - How to Design Programs - Matthias Felleisen, Robert Findler, Matthew Flatt, Shriram Krishnamurthi
  • HR - The Haskell Road to Logic, Maths and Programming - 2nd Ed. - Kees Doets, Jan van Eijck pdf
  • A Book of Abstract Algebra - 2nd Ed. - Charles C. Pinter booko
  • Purely Functional Data Structures - Chris Okasaki phd-thesis in pdf paperback@booko More purely functional data structures

Papers

Videos

Category Theory

Philip Wadler's advice here is "read Pierce for motivation, Mac Lane for the presentation of the maths".

Books

Journals

  • TAC - Theory and Applications of Categories

Subtopics

  • [Recursion Schemes]({{site.github.url | replace: 'http://', '//'}}/category-theory/recursion-schemes.html)

Other collections

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].