Theses most similar to RIFL : a language with filtered iterators (Shen, Jiasi; 2015) read it
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
- Advisor: Barbara Liskov
- Department of Electrical Engineering and Computer Science
- Advisor: Raymie Stata
- Department of Electrical Engineering and Computer Science
- Advisor: Michael D. Ernst
- Department of Electrical Engineering and Computer Science
Functional encapsulation and type reconstruction in a strongly-typed, polymorphic language
Gupta, Shail Aditya (1995)
- Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
- Department of Electrical Engineering and Computer Science
- Advisor: M. Frans Kaashoek
- Department of Electrical Engineering and Computer Science
Implementing concurrency for an ML-based operating system
Lin, Albert C. (Albert Chia-Jui), 1974- (1998)
- Advisor: Olin Shivers
- Department of Electrical Engineering and Computer Science
- Advisors: Robert T. Morris; Zeldovich, Nickolai, 1981-
- Department of Electrical Engineering and Computer Science
- Advisor: Alan Edelman
- Department of Electrical Engineering and Computer Science
Finding security bugs in web applications using domain-specific static analysis
Near, Joseph P. (Joseph Paul) (2015)
- Advisor: Daniel Jackson
- Department of Electrical Engineering and Computer Science