18:43[ICFP24] Normalization by evaluation for modal dependent type theoryACM SIGPLAN72 viewsView & Download
15:20[TyDe'22] Normalization by Evaluation with Free Extensions (Extended Abstract)ACM SIGPLAN442 viewsView & Download
2:59Normalization-by-evaluation and metaprogramming with PHOAS, POPL SRC 2022Lef Ioannidis84 viewsView & Download
47:34Normalization by Evaluation - David Christiansen (PL Wonks)Ambrose Bonnaire-Sergeant651 viewsView & Download
21:43Tiark Rompf - Strong Normalization for Dependent Object Types (DOT)ECOOPLDI 2017178 viewsView & Download
2:49[SRC POPL'22] Jonathan Chan -- Towards a Syntactic Model of Sized Dependent TypesACM SIGPLAN226 viewsView & Download
20:17A Simple Soundness Proof for Dependent Object TypesSplash Conference 2017354 viewsView & Download
11:421st, 2nd and 3rd Normal Form (Database Normalisation)Learn Learn Scratch Tutorials636.7K viewsView & Download