Theses most similar to those of author Van Eyk, Paul Agustin
Scheme modeled as a set of rewrite rules : an efficient implementation (1997) read it
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
- Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
- Department of Electrical Engineering and Computer Science
- Advisor: Harold Abelson
- Department of Electrical Engineering and Computer Science
Increasing cross-domain call batching using promises and batched control structures
Zondervan, Quinton Y (1995)
- Advisor: Barbara H. Liskov
- Department of Electrical Engineering and Computer Science
On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types
Arkoudas, Kostas (1996)
- Advisor: David Allen McAllester
- Department of Electrical Engineering and Computer Science
- Advisor: Albert Meyer
- Department of Electrical Engineering and Computer Science
View-based abstraction : enhancing maintainability and modularity in the presence of implementation dependencies
Rodriguez, Luis H. (Luis Humberto), 1968- (1997)
- Advisor: Hal Abelson
- Department of Electrical Engineering and Computer Science
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
An imperative extension to alloy and a compiler for its execution
Near, Joseph P. (Joseph Paul) (2010)
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science
Storyboard programming of data structure manipulations : a picture is worth 20 lines of code
Singh, Rishabh (2010)
- Advisor: Armando Solar-Lezama
- Department of Electrical Engineering and Computer Science