The Penn PL Club's repositories
cis670-16fa
Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
cis6700-23sp
CIS 6700, Spring 2023
plclub-web
A Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)
cbpv-effects-coeffects
Formalization of CBPV extended with effect and coeffect tracking
cbpv-in-agda
Formalization of Call-By-Push-Value, augmented with effect tracking
plclub-web-old
Old PLClub website git mirror. Retired Jan 15 2020.
Language:PHP000
StraTT
Supplementary material for Stratified Type Theory
Language:TeXBSD-3-Clause000