Search results for: John Launchbury
Lecture Notes in Computer Science > Functional Programming Languages and Computer Architecture > 145-164
Lecture Notes in Computer Science > Functional Programming Languages and Computer Architecture > 636-666
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Proof of Microprocessors > 23-36
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 303-317
Lecture Notes in Computer Science
Lecture Notes in Computer Science