The Racket virtual machine and randomized testing

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +15

QuickCheck

Koen Claessen, John Hughes · ACM SIGPLAN Notices · 2011 · 1K citations

Computing, Computer Science, Formal Methods +12

Featherweight Java

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler · ACM Transactions on Programming Languages and Systems · 2001 · 1K citations · Full text

Computing, Computer Science, Formal Methods +16

The Mechanical Evaluation of Expressions

P. J. Landin · The Computer Journal · 1964 · 932 citations · Full text

Computing, Computer Science, Formal Methods +10

Ownership types for flexible alias protection

David G. Clarke, John Potter, James Noble · 1998 · 578 citations · Full text

Computing, Computer Science, Data Structures +16