
Recent Posts
Recent Comments
sanjoyd on Faking Dependent Types in… drocta on Faking Dependent Types in… Matt on Faking Dependent Types in… Francis Kim on Faking Dependent Types in… Anurag Bishnoi on On why religion is a double… Archives
Categories
Meta
Tag Archives: types
Typechecking TAL0 in Agda.
This post is an annotated solution to problem 4.2.11 in the book Advanced Topics in Types and Programming Languages from the chapter Typed Assembly Language by Gerg Morrisett. Introducing TAL0 I’ll do my best to give an informal introduction to … Continue reading
Posted in Computers
Tagged agda, function programming, haskell, static analysis, TAL, typed assembly, types
Leave a comment
[Proof] λ→ is normalizing
I studied a proof today that I had been putting off for some time now; that a simply typed lambda calculus is normalizing — every welltyped expression eventually reduces to a value. The proof is quite clever and that the … Continue reading
Posted in Computers, Rest
Tagged math, programming language theory, programming languages, types
Leave a comment