Visor in Practice: Live Performance and Evaluation

oleh Purvis, Jack, Anslow, Craig, Noble, James
Terbitan: University of Limerick, 2020

Transient Typechecks are (Almost) Free [Artifact]

oleh Roberts, Richard, Marr, Stefan, Homer, Michael, Noble, James
Terbitan: 2019

Holisitic Specifications for Robust Programs - Coq Model

oleh Drossopoulou, Sophia, Noble, James, Mackay, Julian, Eisenbach, Susan
Terbitan: 2020

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

oleh SpringerLink (Online service), Noble, James., Wrigstad, Tobias.

APPLIED LINIEAR ALGEBRA

oleh Noble Ben, PRENTICE-HALL, INC Eglewood Cliffs, Daniel James W.
Terbitan: Prentice-Hall Inc, 1977