PLT (“Programming Language Theory λΠ”) is a repository maintained by Steven Shaw (and contributors) that aggregates essays, lecture notes, and research pointers on topics in programming languages, type theory, module systems, effect systems, and related foundations. Its goal is to serve as a curated guide/reference for advanced theoretical topics, connecting to papers, code snippets, and explanatory material.

Features

  • Organized material around core PL / type theory topics (modules, implicit parameters, effects, etc)
  • Embedded code snippets (e.g. SML / OCaml / ML-style) tied to theoretical concepts
  • Bibliographic pointers and references to published papers (e.g. Yallop’s effects bibliography)
  • Hyperlinked structure for navigating topics, cross referencing related themes
  • Self-hosted website / documentation view (via the steshaw.org domain)
  • Encourages contributions and expansions of topics by others

Project Samples

PLT (Programming Languages Theory) Screenshot 1

Project Activity

See All Activity >

Categories

Programming Languages

License

MIT License

Follow PLT (Programming Languages Theory)

PLT (Programming Languages Theory) Web Site

nel_h2
Get the most trusted enterprise browser Icon
Get the most trusted enterprise browser

Advanced built-in security helps IT prevent breaches before they happen

Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.
Download Chrome
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of PLT (Programming Languages Theory)!

Additional Project Details

Programming Language

JavaScript

Related Categories

JavaScript Programming Languages

Registered

5 days ago
Report inappropriate content