Reflection: Turning experience into learning
Example-directed synthesis: a type-theoretic interpretation
Fault-tolerant typed assembly language
ACM SIGPLAN Notices
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016
David I. August
Rosemary Keogh
Jay Ligatti
George A. Reis
Lester Mackey
Steve Zdancewic
Analisando Diálogos para Classificação de Padrões Utilizando Redes Neurais Artificiais e Árvores de Decisão
Intersection type calculi of bounded dimension
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods