issues
search
steshaw
/
plt
Programming Language Theory λΠ
https://steshaw.org/plt/
5.24k
stars
338
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
replace broken link to Intuitionistic Type Theory
#66
4lxs
closed
1 day ago
0
Add new collection
#65
imteekay
closed
1 year ago
1
Fix broken link to Semantics Engineering with PLT Redex
#64
polynomialherder
closed
1 year ago
1
Add HoTTEST summer school, various link rot fixes
#63
omentic
closed
1 year ago
1
Added three links to index.md
#62
Francesco601
closed
1 year ago
1
New pull request
#61
Francesco601
closed
1 year ago
2
Hmm...I can't seem to do a pull request for some reason. New to Github....
#60
Francesco601
closed
1 year ago
3
I have some useful links on topics related to programming languages..
#59
Francesco601
closed
1 year ago
3
Add "Programming Languages: Build, Prove, and Compare" to PL
#58
bzy-debug
closed
1 year ago
1
Link to "Categories for the working mathematician" is broken
#57
aditya-giri
closed
1 year ago
1
Add Program = Proof in Type Theory Books
#56
sngbd
closed
2 years ago
1
Add Program = Proof in Type Theory Books
#55
sngbd
closed
2 years ago
0
Add a license to the repository
#54
haohanyang
closed
2 years ago
0
Add "The Formal Semantics of Programming Languages"
#53
hirrolot
closed
3 years ago
1
Great Works in Computer Science - David Evans
#52
alaskasquirrel
closed
2 years ago
1
Type Theory and Formal Proof: An Introduction
#51
hirrolot
closed
4 years ago
1
Link for "PLT Texts Online - Frank Atanassow" seems broken
#50
gihyeonsung
closed
4 years ago
1
Add miniKanren
#49
damodharanj
closed
4 years ago
1
what is the 'B' denote in "BTLS - The Little Schemer - Daniel P. Friedman, Matthias Felleisen"
#48
xieyuheng
closed
5 years ago
1
Add Program analysis
#47
MarisaKirisame
closed
4 years ago
3
add ICFP 2016-2019 + video playlists
#46
lemastero
closed
5 years ago
3
add PLFA
#45
lemastero
closed
5 years ago
1
add B. Milewski CTFP
#44
lemastero
closed
5 years ago
1
add more up to list of summer schools
#43
lemastero
closed
5 years ago
0
Add OPLSS 2019
#42
lemastero
closed
5 years ago
1
lambda pi looks like 入门?
#41
zaoqi-unsafe
closed
5 years ago
0
lambda pi looks like 入门?
#40
zaoqi-unsafe
closed
5 years ago
0
lambda pi looks like 入门?
#39
zaoqi-unsafe
closed
5 years ago
0
lambda pi looks like 入门?
#38
zaoqi-unsafe
closed
5 years ago
1
Fix PFPL link
#37
Grain
closed
5 years ago
1
add Seven Sketches in Compositionality and Applied CT Course
#36
lemastero
closed
5 years ago
1
add Theory and Applications of Categories
#35
lemastero
closed
5 years ago
1
I did see the engine files from this project, and really recommend this also will fork to my related css project,
#34
yaoguangluo
closed
5 years ago
1
Update link to advanced modern algebra
#33
sourabhtk37
closed
6 years ago
1
Link broken for: Advanced Modern Algebra
#32
sourabhtk37
closed
6 years ago
1
Add effect paper
#31
MarisaKirisame
closed
6 years ago
8
steshaw.org is not accessible
#29
baybatu
closed
6 years ago
2
Typo in Shoup's last name
#28
ulysses4ever
closed
7 years ago
1
Remove unavailable video resource
#27
futtetennista
closed
6 years ago
1
Move one book and add OPLSS 2016
#26
hawnzug
closed
7 years ago
1
Pull from aalhour/gh-pages
#25
aalhour
closed
7 years ago
0
Add www and pdf links to Programs and Proofs
#24
catreadme
closed
8 years ago
0
Add "The Dragon Book" to list of compiler construction books
#23
tombusby
closed
8 years ago
1
Add MinCaml online book
#22
jsyeo
closed
8 years ago
1
Add book Programming Language Pragmatics
#21
clehner
closed
8 years ago
1
Fix typo
#20
ghost
closed
8 years ago
2
fix type theory subtopics links
#19
0joshuaolson1
closed
8 years ago
1
Fix some typos on index.md
#18
scorphus
closed
8 years ago
1
Fixed typo
#17
radarhere
closed
8 years ago
1
Many links are broken
#16
audiolion
closed
8 years ago
1
Next