tapl

There are 1 repository under tapl topic.

• lazear / types-and-programming-languages

  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

  types-and-programming-languagestapltypestype-theoryprogramming-languageslambda-calculus
  Language:Rust 182

• ilya-klyuchnikov / tapl-scala

  Code from the book "Types and Programming Languages" in Scala

  programming-languagestapltype-checkingtype-inference
  Language:Scala 175

• waddlaw / TAPL

  Types and Programming Languages (TAPL)

  haskellprogramming-languagestapl
  Language:Haskell 28

• deeplang-org / deeplang-type-system

  DeepLang type system based on Ocaml

  ocamltaplyacclexbnfccompiler
  Language:OCaml 7

• amir / tapl-rs

  https://www.cis.upenn.edu/~bcpierce/tapl/

  lambda-calculustapl
  Language:Rust 6

• eduhenke / tapl-impl

  This repository is meant to be a personal collection of implementations of the concepts from the TaPL(Types and Programming Languages) book.

  tapltype-systemtype-theory
  Language:Haskell 6

• wangjiezhe / tapl

  Source code for TAPL

  ocamltapltype-systemlambda-calculustyped-lambda-calculus
  Language:OCaml 5

• drm343 / TaPL-implement

  typesystemsmalltalktapl
  Language:C 2

• rbonvall / exercises

  Examples and exercises from books I read.

  taplfunctional-programming-in-scalaadvent-of-code-2017advent-of-code-2018advent-of-code-2019the-little-typerthe-little-schemerthe-reasoned-schemeradvent-of-code-2021
  Language:Scala 2

• TomerAberbach / types-and-programming-languages-exercises

  My solutions for the exercises presented in Benjamin C. Pierce's Types and Programming Languages.

  types-and-programming-languagestapltype-theorytype-systemprogramming-languagesexercisesexercise-solutionstextbook
  2

• vijayanant / tapl-hs

  Working through the Language described in TAPL

  haskelltaplcompiler
  Language:Haskell 2

• vyorkin / tapl-coq

  :construction: My Coq proofs for the TAPL book. WIP.

  coqtapl
  Language:Coq 2

• davidelettieri / Tapl

  C# implementation for TAPL

  csharplambda-calculustapltypes-and-programming-languages
  Language:C# 1

• leocassarani / types-and-programming-languages

  Code written in the course of reading “Types and Programming Languages” at the London Computation Club

  tapl
  Language:Haskell 1

• tathanhdinh / TandPL

  Implementation for Types and Programming Languages book

  fsharptapl
  Language:F# 1

• iamkroot / pytapl

  Implementations of various systems as described in Types and Programming Languages book, in Python 3.10

  tapl
  Language:Python 0

• okneniz / tapl

  TAPL - Types and Programming Languages

  haskelltapltypes
  Language:Haskell 0

• sirikid / arith

  Simple untyped language

  taplexercise
  Language:Haskell 0

• Touchcreator / TAPL

  Touch's Awesome Programming Language

  custompythonstackbasedprograminglanguagetapl
  Language:Python 0

• v4kst1z / tapl

  TaPLのRust実装

  tapl
  Language:Rust 0

• crvdgc / tapl

  An OCaml (embedded) implementation of systems from the book Types and Programming Languages by Benjamin C. Pierce.

  tapltypes-and-programming-languages
  Language:OCaml

• helvm / haskell-tapl

  Haskell Implementation of Lambda Calculus as explained in Types and Programming Languages

  helpstapl
  Language:Haskell

• helvm / TaPL

  helpstapl
  Language:Haskell

• helvm / tapl-atton

  Types and Programming Languages

  helpstapl
  Language:Haskell

• helvm / tapl-haskell

  Types and Programming Languages

  taplhelps
  Language:Haskell

• helvm / TaPL-Haskell-1

  Languages from "Types and Programming Languages" implemented in Haskell.

  helpstapl
  Language:Haskell

• helvm / TAPL-waddlaw

  Types and Programming Languages (TAPL)

  helpstapl
  Language:Haskell

• helvm / tapl-zedongh

  learn tapl in haskell

  helpstapl
  Language:Haskell

• JonathanStarup / flix-tapl

  Implementing Types and Programming Languages by Benjamin Pierce in Flix.

  flixflix-programming-languagetapltypes-and-programming-languages