issues
search
srid
/
papers
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fusing Industry and Academia at GitHub (Experience Report)
#7
srid
opened
2 years ago
0
Introductory resources to type theory for language implementers
#6
srid
opened
2 years ago
0
Tagless-final style
#5
srid
opened
2 years ago
2
Partial Isomorphisms
#4
srid
opened
2 years ago
0
Idris 2: Quantitative Type Theory in Practice
#3
srid
opened
2 years ago
0
Type-Safe Code Transformations in Haskell
#2
srid
opened
2 years ago
0
Naïve Type Theory
#1
srid
opened
2 years ago
0