TYPEWRITES WITH SINGLE SPRING TO PROVIDE LETTERSPACING AND PRINTING Capturing post-snapshot quiescence writes in an image backup CCured: type-safe retrofitting of legacy code The Cartesian Product Algorithm - Simple and Precise Type Inference of Parametric Polymorphism Towards a Type System for Analyzing JavaScript Programs Unifying type checking and property checking for low-level code Type-directed completion of partial expressions GODUNOV-TYPE SCHEMES FOR HYPERBOLIC SYSTEMS WITH PARAMETER-DEPENDENT SOURCE: THE CASE OF EULER SYSTEM WITH FRICTION Generative type abstraction and type-level computation Black holes in Gödel-type universes with a cosmological constant
