Scott Stoller

TLA
Scott Stoller and Chet Murthy, November 1, 1994
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Scott Stoller, March 29, 1994
Semantics
Scott Stoller, March 30, 1993


Home | Introduction |Authors | Topics | Chronological List | PRL Project


 
Melissa Totman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: mtotman@cs.cornell.edu