René's URL Explorer Experiment


Title: GitHub - steshaw/plt: Programming Language Theory λΠ

Open Graph Title: GitHub - steshaw/plt: Programming Language Theory λΠ

X Title: GitHub - steshaw/plt: Programming Language Theory λΠ

Description: Programming Language Theory λΠ. Contribute to steshaw/plt development by creating an account on GitHub.

Open Graph Description: Programming Language Theory λΠ. Contribute to steshaw/plt development by creating an account on GitHub.

X Description: Programming Language Theory λΠ. Contribute to steshaw/plt development by creating an account on GitHub.

Opengraph URL: https://github.com/steshaw/plt

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:378caf37-f950-7be8-e345-73161f5d6db6
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idD0CE:214511:266514E:337D4F6:6992ED23
html-safe-nonce0e8ecb1af369156fecb3485b9dffee42ce9dd97e890a69eec749da3fc56e2297
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJEMENFOjIxNDUxMToyNjY1MTRFOjMzN0Q0RjY6Njk5MkVEMjMiLCJ2aXNpdG9yX2lkIjoiNzAxMjk4Nzg4ODk2MjcxNjUxIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac30c80d9a2b4f6069acdac65e290d5c1d812fe4cab0bc0842e6a66c54110f815d
hovercard-subject-tagrepository:11778215
github-keyboard-shortcutsrepository,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location//
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/steshaw/plt
twitter:imagehttps://opengraph.githubassets.com/7baae3f17866d9bb09a9990330901daac867250b70f4edd35c9d5a441c9a03cb/steshaw/plt
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/7baae3f17866d9bb09a9990330901daac867250b70f4edd35c9d5a441c9a03cb/steshaw/plt
og:image:altProgramming Language Theory λΠ. Contribute to steshaw/plt development by creating an account on GitHub.
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None01ab16879a3159e6f0717ab948b9b562e162a6aafd1f4393b786b07b747df244
turbo-cache-controlno-preview
go-importgithub.com/steshaw/plt git https://github.com/steshaw/plt.git
octolytics-dimension-user_id45735
octolytics-dimension-user_loginsteshaw
octolytics-dimension-repository_id11778215
octolytics-dimension-repository_nwosteshaw/plt
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id11778215
octolytics-dimension-repository_network_root_nwosteshaw/plt
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releaseb1570f3928bef80fa5fc7890ce0942e9b696ad9d
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/steshaw/plt#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fsteshaw%2Fplt
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fsteshaw%2Fplt
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=steshaw%2Fplt
Reloadhttps://patch-diff.githubusercontent.com/steshaw/plt
Reloadhttps://patch-diff.githubusercontent.com/steshaw/plt
Reloadhttps://patch-diff.githubusercontent.com/steshaw/plt
steshaw https://patch-diff.githubusercontent.com/steshaw
plthttps://patch-diff.githubusercontent.com/steshaw/plt
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fsteshaw%2Fplt
Fork 344 https://patch-diff.githubusercontent.com/login?return_to=%2Fsteshaw%2Fplt
Star 5.3k https://patch-diff.githubusercontent.com/login?return_to=%2Fsteshaw%2Fplt
steshaw.org/plt/https://steshaw.org/plt/
5.3k stars https://patch-diff.githubusercontent.com/steshaw/plt/stargazers
344 forks https://patch-diff.githubusercontent.com/steshaw/plt/forks
Branches https://patch-diff.githubusercontent.com/steshaw/plt/branches
Tags https://patch-diff.githubusercontent.com/steshaw/plt/tags
Activity https://patch-diff.githubusercontent.com/steshaw/plt/activity
Star https://patch-diff.githubusercontent.com/login?return_to=%2Fsteshaw%2Fplt
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fsteshaw%2Fplt
Code https://patch-diff.githubusercontent.com/steshaw/plt
Issues 0 https://patch-diff.githubusercontent.com/steshaw/plt/issues
Pull requests 0 https://patch-diff.githubusercontent.com/steshaw/plt/pulls
Actions https://patch-diff.githubusercontent.com/steshaw/plt/actions
Projects 0 https://patch-diff.githubusercontent.com/steshaw/plt/projects
Wiki https://patch-diff.githubusercontent.com/steshaw/plt/wiki
Security 0 https://patch-diff.githubusercontent.com/steshaw/plt/security
Insights https://patch-diff.githubusercontent.com/steshaw/plt/pulse
Code https://patch-diff.githubusercontent.com/steshaw/plt
Issues https://patch-diff.githubusercontent.com/steshaw/plt/issues
Pull requests https://patch-diff.githubusercontent.com/steshaw/plt/pulls
Actions https://patch-diff.githubusercontent.com/steshaw/plt/actions
Projects https://patch-diff.githubusercontent.com/steshaw/plt/projects
Wiki https://patch-diff.githubusercontent.com/steshaw/plt/wiki
Security https://patch-diff.githubusercontent.com/steshaw/plt/security
Insights https://patch-diff.githubusercontent.com/steshaw/plt/pulse
Brancheshttps://patch-diff.githubusercontent.com/steshaw/plt/branches
Tagshttps://patch-diff.githubusercontent.com/steshaw/plt/tags
https://patch-diff.githubusercontent.com/steshaw/plt/branches
https://patch-diff.githubusercontent.com/steshaw/plt/tags
254 Commitshttps://patch-diff.githubusercontent.com/steshaw/plt/commits/main/
https://patch-diff.githubusercontent.com/steshaw/plt/commits/main/
_layoutshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/_layouts
_layoutshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/_layouts
category-theoryhttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/category-theory
category-theoryhttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/category-theory
effect-systemshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/effect-systems
effect-systemshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/effect-systems
higher-type-theoryhttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/higher-type-theory
higher-type-theoryhttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/higher-type-theory
imageshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/images
imageshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/images
javascriptshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/javascripts
javascriptshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/javascripts
module-systemshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/module-systems
module-systemshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/module-systems
stylesheetshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/stylesheets
stylesheetshttps://patch-diff.githubusercontent.com/steshaw/plt/tree/main/stylesheets
.gitattributeshttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/.gitattributes
.gitattributeshttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/.gitattributes
.gitignorehttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/.gitignore
.gitignorehttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/.gitignore
.ruby-versionhttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/.ruby-version
.ruby-versionhttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/.ruby-version
README.mdhttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/README.md
README.mdhttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/README.md
index.mdhttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/index.md
index.mdhttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/index.md
params.jsonhttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/params.json
params.jsonhttps://patch-diff.githubusercontent.com/steshaw/plt/blob/main/params.json
READMEhttps://patch-diff.githubusercontent.com/steshaw/plt
https://patch-diff.githubusercontent.com/steshaw/plt#programming-language-theory
https://patch-diff.githubusercontent.com/steshaw/plt#-top-tips
Types and Programming Languageshttp://www.cis.upenn.edu/~bcpierce/tapl/
Proofs and Typeshttp://www.paultaylor.eu/stable/Proofs+Types.html
Advanced Topics in Types and Programming Languageshttps://www.cis.upenn.edu/~bcpierce/attapl/
Learn Type Theoryhttps://github.com/jozefg/learn-tt
So you want to learn type theoryhttps://web.archive.org/web/20190213100051/http://purelytheoretical.com/sywtltt.html
https://patch-diff.githubusercontent.com/steshaw/plt#type-theory
https://patch-diff.githubusercontent.com/steshaw/plt#books
PLFAhttps://plfa.github.io/
Philip Wadlerhttps://github.com/wadler
Wen Kokkehttps://github.com/wenkokke
SFhttps://softwarefoundations.cis.upenn.edu/
Available with jsCoqhttps://jscoq.github.io/ext/sf/
TAPLhttp://www.cis.upenn.edu/~bcpierce/tapl/
PROThttp://www.paultaylor.eu/stable/Proofs+Types.html
pdfhttp://www.paultaylor.eu/stable/prot.pdf
PFPLhttp://www.cs.cmu.edu/~rwh/pfpl/
Online preview editionhttp://www.cs.cmu.edu/~rwh/pfpl/2nded.pdf
ATTAPLhttp://www.cis.upenn.edu/~bcpierce/attapl/
CPDThttp://adam.chlipala.net/cpdt/
SEwPRhttps://mitpress.mit.edu/9780262062756/semantics-engineering-with-plt-redex/
Redexhttps://redex.racket-lang.org/
HoTThttp://homotopytypetheory.org/book/
Coq'Arthttp://www.labri.fr/perso/casteran/CoqArt/index.html
TTFPhttp://www.cs.kent.ac.uk/people/staff/sjt/TTFP/
PiMLTThttp://www.cse.chalmers.se/research/group/logic/book/
pdfhttp://pauillac.inria.fr/~remy/cours/appsem/ocaml.pdf
pdfhttps://xavierleroy.org/publi/phd-thesis.pdf
ATPhttp://www.cl.cam.ac.uk/~jrh13/atp/
pdfhttp://mathtrielhighschool.files.wordpress.com/2011/08/number-theory.pdf
paperback@bookohttp://booko.com.au/9780521054225/Basic-Simple-Type-Theory
Lambda Calculus and Combinatorshttp://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/lambda-calculus-and-combinators-introduction-2nd-edition
pdfhttp://pds14.egloos.com/pds/200901/16/93/Lambda-Calculus_and_Combinators.pdf
Semantics with Applications: An Appetizerhttps://www.cs.ru.nl/~herman/onderwijs/semantics2019/wiley.pdf
The Definition of Standard ML (1990) and Commentary on Standard ML (1991)https://web.archive.org/web/20180927020934/http://www.itu.dk/people/tofte/publ/1990sml/1990sml.html
definition (pdf)https://web.archive.org/web/20160518190441/http://www.itu.dk/people/tofte/publ/1990sml/1990sml.pdf
commentary (pdf)https://web.archive.org/web/20160917123723/https://www.itu.dk/people/tofte/publ/1990sml/1991commentaryBody.pdf
The Definition of Standard ML (Revised)https://smlfamily.github.io/sml97-defn.pdf
Programs and Proofshttp://ilyasergey.net/pnp/
pdfhttp://ilyasergey.net/pnp/pnp.pdf
Type Theory and Formal Proof: An Introductionhttps://www.cambridge.org/core/books/type-theory-and-formal-proof/0472640AAD34E045C7F140B46A57A67C
Lectures on the Curry-Howard Isomorphism (pdf)http://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf
pdfhttps://www.lix.polytechnique.fr/Labo/Samuel.Mimram/teaching/INF551/course.pdf
https://patch-diff.githubusercontent.com/steshaw/plt#papers
A Tutorial Implementation of a Dependently Typed Lambda Calculushttp://www.andres-loeh.de/LambdaPi/
pdfhttp://www.andres-loeh.de/LambdaPi/LambdaPi.pdf
Simply Easyhttp://strictlypositive.org/Easy.pdf
ΠΣ: Dependent Types without the Sugarhttps://www.andres-loeh.de/PiSigma/PiSigma.pdf
Lambda Calculi with Typeshttp://ttic.uchicago.edu/~dreyer/course/papers/barendregt.pdf
Intuitionistic Type Theoryhttp://www.csie.ntu.edu.tw/~b94087/ITT.pdf
Type Theoryhttps://plato.stanford.edu/entries/type-theory/
https://patch-diff.githubusercontent.com/steshaw/plt#videos
OPLSS — Oregon Programming Language Summer Schoolhttps://www.cs.uoregon.edu/research/summerschool/
OPLSS 2023 — Types, Semantics, and Logichttps://www.cs.uoregon.edu/research/summerschool/summer23/topics.php
OPLSS 2022 — Types, Semantics, and Program Reasoninghttps://www.cs.uoregon.edu/research/summerschool/summer22/topics.php
OPLSS 2021 — Foundations of Programming and Securityhttps://www.cs.uoregon.edu/research/summerschool/summer21/topics.php
OPLSS 2019 — Foundations of Probabilistic Programming and Securityhttps://www.cs.uoregon.edu/research/summerschool/summer19/topics.php
OPLSS 2018 — Parallelism and Concurrencyhttps://www.cs.uoregon.edu/research/summerschool/summer18/topics.php
OPLSS 2017 — A Spectrum of Typeshttps://www.cs.uoregon.edu/research/summerschool/summer17/topics.php
OPLSS 2016 — Types, Logic, Semantics, and Verificationhttp://www.cs.uoregon.edu/research/summerschool/summer16/curriculum.php
OPLSS 2015 — Types, Logic, Semantics, and Verificationhttp://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html
OPLSS 2014 — Types, Logic, Semantics, and Verificationhttp://www.cs.uoregon.edu/research/summerschool/summer14/curriculum.html
OPLSS 2013 — Types, Logic, and Verificationhttp://www.cs.uoregon.edu/research/summerschool/summer13/curriculum.html
OPLSS 2012 — Logic, Languages, Compilation, and Verificationhttp://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html
OPLSS 2011 — Types, Semantics and Verificationhttp://www.cs.uoregon.edu/research/summerschool/summer11/curriculum.html
OPLSS 2010 — Logic, Languages, Compilation, and Verificationhttp://www.cs.uoregon.edu/research/summerschool/summer10/curriculum.html
Complete archives 2002-Presenthttps://www.cs.uoregon.edu/research/summerschool/archives.html
HoTTEST — Homotopy Type Theory Summer School 2022https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html
ICFP 2012 Monday keynote. Conor McBride: Agda-curious?https://youtu.be/XGyJ519RY6Y
https://patch-diff.githubusercontent.com/steshaw/plt#subtopics
https://patch-diff.githubusercontent.com/steshaw/plt#programming-languages
https://patch-diff.githubusercontent.com/steshaw/plt#books-1
DCPLhttps://mitpress.mit.edu/9780262201759/design-concepts-in-programming-languages/
Coursehttps://ocw.mit.edu/courses/6-821-programming-languages-fall-2002/
CTMhttp://www.info.ucl.ac.be/~pvr/book.html
EOPLhttp://www.eopl3.com/
PLAIhttps://www.plai.org/
PAIPhttps://github.com/norvig/paip-lisp
PLPhttp://cs.rochester.edu/u/scott/pragmatics/
FSPLhttps://mitpress.mit.edu/books/formal-semantics-programming-languages
PL:BPChttps://www.build-prove-compare.net/
https://patch-diff.githubusercontent.com/steshaw/plt#papers-1
An argument against call/cchttp://okmij.org/ftp/continuations/against-callcc.html
https://patch-diff.githubusercontent.com/steshaw/plt#compiler-construction
https://patch-diff.githubusercontent.com/steshaw/plt#books-2
MinCamlhttp://esumii.github.io/min-caml/index-e.html
MCIiMLhttp://www.cs.princeton.edu/~appel/modern/ml/
pj-lester-bookhttps://www.microsoft.com/en-us/research/publication/implementing-functional-languages-a-tutorial
slpj-book-1987https://www.microsoft.com/en-us/research/wp-content/uploads/1987/01/slpj-book-1987.pdf
MCD-2ehttp://www.dickgrune.com/Books/MCD_2nd_Edition/
EaC-2ehttps://dl.acm.org/doi/10.1145/2088883.2088908
Compiler Constructionhttps://people.inf.ethz.ch/wirth/CompilerConstruction/index.html
DragonBookhttps://suif.stanford.edu/dragonbook/
LiSPhttp://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/lisp-small-pieces
CwChttp://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/compiling-continuations
Static Program Analysishttps://cs.au.dk/~amoeller/spa/spa.pdf
List of compiler books at the GCC Wikihttp://gcc.gnu.org/wiki/ListOfCompilerBooks
https://patch-diff.githubusercontent.com/steshaw/plt#papers-2
An Incremental Approach to Compiler Constructionhttp://scheme2006.cs.uchicago.edu/11-ghuloum.pdf
A Nanopass Framework for Compiler Educationhttp://www.cs.indiana.edu/~dyb/pubs/nano-jfp.pdf
A Nanopass Framework for Commercial Compiler Developmenthttp://andykeep.com/pubs/dissertation.pdf
Andrew W. Keephttp://andykeep.com/
ZINChttp://caml.inria.fr/pub/papers/xleroy-zinc.pdf
more OCaml papershttp://caml.inria.fr/about/papers.en.html
https://patch-diff.githubusercontent.com/steshaw/plt#videos-1
Stanford - Compilershttps://online.stanford.edu/course/compilers-0
https://patch-diff.githubusercontent.com/steshaw/plt#runtime-systems
https://patch-diff.githubusercontent.com/steshaw/plt#books-3
The Garbage Collection Handbook, The Art of Automatic Memory Managementhttp://gchandbook.org/
https://patch-diff.githubusercontent.com/steshaw/plt#papers-3
Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTOhttps://web.archive.org/web/20180406191621/http://library.readscheme.org/page1.html
pdfhttps://web.archive.org/web/20180130013734/http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-443.pdf
https://patch-diff.githubusercontent.com/steshaw/plt#functional-programming
https://patch-diff.githubusercontent.com/steshaw/plt#books-4
Bird and Wadlerhttp://usi-pl.github.io/lc/sp-2015/doc/Bird_Wadler.%20Introduction%20to%20Functional%20Programming.1ed.pdf
AoPhttp://www.amazon.com/books/dp/013507245X
Programming in Haskellhttp://www.cs.nott.ac.uk/~gmh/book.html
RWHhttp://book.realworldhaskell.org/
FPiShttp://www.manning.com/bjarnason/
SICPhttp://mitpress.mit.edu/sicp/
PCPHhttp://chimera.labs.oreilly.com/books/1230000000929
RWOChttps://realworldocaml.org/
Developing Applications With OCamlhttp://caml.inria.fr/pub/docs/oreilly-book/index.html
BTLShttp://www.ccs.neu.edu/home/matthias/BTLS/
BTSShttp://www.ccs.neu.edu/home/matthias/BTSS/
BTMLhttp://www.ccs.neu.edu/home/matthias/BTML/
The Reasoned Schemerhttp://minikanren.org/
HTDPhttp://www.htdp.org/
HRhttp://homepages.cwi.nl/~jve/HR/
pdfhttp://fldit-www.cs.uni-dortmund.de/~peter/PS07/HR.pdf
bookohttp://booko.com.au/9780486474175/Book-of-Abstract-Algebra
phd-thesis in pdfhttp://www.cs.cmu.edu/~rwh/theses/okasaki.pdf
paperback@bookohttp://booko.com.au/9780521663502/Purely-Functional-Data-Structures
More purely functional data structureshttp://cstheory.stackexchange.com/questions/1539/whats-new-in-purely-functional-data-structures-since-okasaki
https://patch-diff.githubusercontent.com/steshaw/plt#papers-4
Lambda Papershttp://library.readscheme.org/page1.html
The Lambda Calculushttps://plato.stanford.edu/entries/lambda-calculus/
A Tutorial Introduction to the Lambda Calculushttps://personal.utdallas.edu/~gupta/courses/apl/lambda.pdf
Exploring Generic Haskellhttp://www.andres-loeh.de/ExploringGH.pdf
Andres Löhhttp://www.andres-loeh.de/
2019https://github.com/llelf/icfp2019-papers
2018https://icfp18.sigplan.org/track/icfp-2018-papers#program
video playlisthttps://www.youtube.com/watch?v=Z3vr5xylMCE&list=PLnqUlCo055hVknu7QAW_RUZRmRZWXmnvv
2017https://github.com/gasche/icfp2017-papers
video playlisthttps://www.youtube.com/watch?v=RoddXtl8SU8&list=PLnqUlCo055hW7kU-SBQEhC_87etA5Gqlq
2016https://github.com/gasche/icfp2016-papers
video playlisthttps://www.youtube.com/watch?v=EpifLmPM1L0&list=PLnqUlCo055hV-Yb_88YYUC2ucaBKCWCsa
2015https://github.com/mpickering/icfp2015-papers
by sessionhttp://icfpconference.org/icfp2015/toc.html
video playlisthttps://www.youtube.com/watch?v=PI99A08Y83E&list=PLnqUlCo055hWNtUo1Haoq347VhCqIjs7u
2014https://github.com/yallop/icfp2014-papers
2013https://github.com/gasche/icfp2013-papers
2012https://github.com/technogeeky/icfp12-paper-links
https://patch-diff.githubusercontent.com/steshaw/plt#videos-2
C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentalshttp://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals
C9 Lectures: Dr. Ralf Lämmel - Going Bananas + Advanced Functional Programminghttp://channel9.msdn.com/Tags/ralf-laemmel
Datatype-Generic Programming in Haskellhttp://skillsmatter.com/podcast/home/a-haskell-lecture-with-leading-expert-andres-loh
Andres Löhhttp://www.andres-loeh.de/
slides in pdfhttp://www.andres-loeh.de/GP-ITB.pdf
https://patch-diff.githubusercontent.com/steshaw/plt#category-theory
https://patch-diff.githubusercontent.com/steshaw/plt#books-5
Cakes, Custard and Category Theory: Easy recipes for understanding complex mathshttp://www.amazon.com/Cakes-Custard-Category-Theory-understanding-ebook/dp/B00TA8SIV6
Eugenia Chenghttp://eugeniacheng.com/
pdfhttps://pages.jh.edu/rrynasi1/NewFoundations4Math/Literature/Textbooks/Awodey2010CategoryTheory.2ndEdition.pdf
coursehttps://pages.jh.edu/rrynasi1/NewFoundations4Math/Literature/Textbooks/Awodey2016CategoryTheory.LectureNotes/
A taste of category theory for computer scientistshttps://kilthub.cmu.edu/articles/journal_contribution/A_taste_of_category_theory_for_computer_scientists/6602756/1
Categories for the Working Mathematicianhttp://www.mtm.ufsc.br/~ebatista/2016-2/maclanecat.pdf
Conceptual Mathematicshttp://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/conceptual-mathematics-first-introduction-categories-2nd-edition
Category Theory for the Scienceshttp://category-theory.mitpress.mit.edu/
Category Theory for Scientistshttp://math.mit.edu/~dspivak/CT4S.pdf
CTCS-2ndhttp://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
CTCS-1sthttp://fef.ogu.edu.tr/matbil/eilgaz/kategori.pdf
pdfhttp://www.cs.unibo.it/~asperti/PAPERS/book.pdf
Amazonhttp://www.amazon.com/Topoi-Categorial-Analysis-Logic-Mathematics/dp/0486450260
TTThttp://www.tac.mta.ca/tac/reprints/articles/12/tr12abs.html
pdfhttp://www.math.upatras.gr/~cdrossos/Docs/B-W-LectureNotes.pdf
Seven Sketches in Compositionality: An Invitation to Applied Category Theoryhttps://arxiv.org/abs/1803.05316
Applied Category Theory Coursehttp://www.azimuthproject.org/azimuth/show/Applied+Category+Theory+Course
forumhttps://forum.azimuthproject.org/discussion/1717/welcome-to-the-applied-category-theory-course
CTFPhttps://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Bartosz Milewskihttps://github.com/BartoszMilewski
free PDF versionhttps://github.com/hmemcpy/milewski-ctfp-pdf
Igal Tabachnikhttps://github.com/hmemcpy
part 1https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
part 2https://www.youtube.com/watch?v=3XTQSx1A3x8&list=PLbgaMIhjbmElia1eCEZNvsVscFef9m0dm
part 3https://www.youtube.com/watch?v=F5uEpKwHqdk&list=PLbgaMIhjbmEn64WVX4B08B4h2rOtueWIL
CT4Phttps://arxiv.org/abs/2209.01259
https://patch-diff.githubusercontent.com/steshaw/plt#journals
TAChttp://www.tac.mta.ca/tac/
https://patch-diff.githubusercontent.com/steshaw/plt#subtopics-1
https://patch-diff.githubusercontent.com/steshaw/plt#mathematics
https://patch-diff.githubusercontent.com/steshaw/plt#mathematical-literacythinking
Introduction to Mathematical Thinkinghttp://www.amazon.com/Introduction-Mathematical-Thinking-Keith-Devlin-ebook/dp/B009LTPSTO
Keith Devlinhttp://profkeithdevlin.org/
How to prove ithttp://www.amazon.com/How-Prove-It-Structured-Approach/dp/0521675995
https://patch-diff.githubusercontent.com/steshaw/plt#algebra
A Computational Introduction to Number Theory and Algebrahttp://shoup.net/ntb/
pdfhttp://www.math.hcmuns.edu.vn/~nvdong/DaiSoDaiCuong/Advanced%20Modern%20Algebra%20-%20Joseph%20J.%20Rotman.pdf
Scribdhttps://www.scribd.com/doc/127988704/Birkhoff-a-Survey-of-Modern-Algebra
https://patch-diff.githubusercontent.com/steshaw/plt#other-collections
Great Works in Programming Languageshttp://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml
Classic Papers in Programming Languages and Logichttp://www.cs.cmu.edu/~crary/819-f09/
The collected works of Per Martin-Löfhttps://github.com/michaelt/martin-lof
PLT Texts Onlinehttps://web.archive.org/web/20141002195305/http://www.cs.uu.nl:80/wiki/Techno/ProgrammingLanguageTheoryTextsOnline
Functional programming books overviewhttp://alexott.net/en/fp/books/
TypeFunchttps://github.com/williamdemeo/TypeFunc
Lambda the Ultimatehttp://lambda-the-ultimate.org/
Archives of Lambda the Ultimatehttp://www.angelfire.com/tx4/cus/lambda.html
Programming Language Peoplehttp://www.angelfire.com/tx4/cus/people/index.html
PL Summer Schools forallhttps://gist.github.com/biboudis/377b4a4de4d1718df2d0
Aggelos Biboudishttp://biboudis.github.io/
Summer Schools Interesting Conferenceshttp://user.it.uu.se/~bengt/Info/summer-schools.shtml
Bengt Jonssonhttp://user.it.uu.se/~bengt/
The Programming Language Zoohttp://andrej.com/plzoo/
Andrej Bauerhttp://math.andrej.com/
Max Bernstein' PL resourceshttps://bernsteinbear.com/pl-resources/
Programming Language Researchhttps://github.com/imteekay/programming-language-research
TKhttps://www.iamtk.co
steshaw.org/plt/https://steshaw.org/plt/
functional-programming https://patch-diff.githubusercontent.com/topics/functional-programming
logic https://patch-diff.githubusercontent.com/topics/logic
type-theory https://patch-diff.githubusercontent.com/topics/type-theory
category-theory https://patch-diff.githubusercontent.com/topics/category-theory
programming-languages https://patch-diff.githubusercontent.com/topics/programming-languages
proof-theory https://patch-diff.githubusercontent.com/topics/proof-theory
Readme https://patch-diff.githubusercontent.com/steshaw/plt#readme-ov-file
Please reload this pagehttps://patch-diff.githubusercontent.com/steshaw/plt
Activityhttps://patch-diff.githubusercontent.com/steshaw/plt/activity
5.3k starshttps://patch-diff.githubusercontent.com/steshaw/plt/stargazers
272 watchinghttps://patch-diff.githubusercontent.com/steshaw/plt/watchers
344 forkshttps://patch-diff.githubusercontent.com/steshaw/plt/forks
Report repository https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Fsteshaw%2Fplt&report=steshaw+%28user%29
Releaseshttps://patch-diff.githubusercontent.com/steshaw/plt/releases
Packages 0https://patch-diff.githubusercontent.com/users/steshaw/packages?repo_name=plt
Please reload this pagehttps://patch-diff.githubusercontent.com/steshaw/plt
Contributors 27https://patch-diff.githubusercontent.com/steshaw/plt/graphs/contributors
Please reload this pagehttps://patch-diff.githubusercontent.com/steshaw/plt
+ 13 contributorshttps://patch-diff.githubusercontent.com/steshaw/plt/graphs/contributors
CSS 77.0% https://patch-diff.githubusercontent.com/steshaw/plt/search?l=css
HTML 19.0% https://patch-diff.githubusercontent.com/steshaw/plt/search?l=html
JavaScript 4.0% https://patch-diff.githubusercontent.com/steshaw/plt/search?l=javascript
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.