v.write by means of a keyboard with types

同義詞：type

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