TChan
71 subscribers
11 photos
47 files
225 links
atomically newTChan :: IO TChan
Download Telegram
#纸 Leibniz equality is isomorphic to Martin-Löf identity, parametrically
#纸 Trees that Grow
LambdaPi.pdf
185.5 KB
#纸 A tutorial implementation
of a dependently typed lambda calculus
diff2.pdf
81.2 KB
#纸 An O(ND) Difference Algorithm and Its Variations
bidir.pdf
365.2 KB
#纸 Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism