Link to "Safe and Efficient Gradual Typing for TypeScript"
Link to "Deep Specifications and Certified Abstraction Layers"
Link to "Conjugate Hylomorphisms"
Fix formatting.
Link to "Common compiler optimisations are invalid ..."
Link to "Polymorphic Functions with Set-Theoretic Types"
Link to "Dependent Information Flow Types"
Link to "From Network Interface to Multithreaded Web Applications" site
Link to "Ur/Web: A Simple Model for Programming the Web" site
Link to "Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy"
Link to "Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests"