Type Inference on Executables | Publicación