|
Jesse A. Tov
PhD student (fourth-year) |
I’m interested in programming languages, especially functional programming and type systems. Linear types may be good for compiler analyses and adding effects to lazy languages, but can we use them to increase the expressiveness of ordinary, call-by-value languages?
My advisor is Riccardo Pucella.
At Northeastern: |
||
| CSU290 | Sp09 | Logic and Computation (TA) |
| CSG107 | Fa08 | Program Design Paradigms (TA) |
| CSG262 | Sp08 | Compilers (Instructor) |
| CSG111 | Fa07 | Principles of Programming Languages (TA) |
At Harvard: |
||
| CS51 | Sp07 | Introduction to Computer Science II (TF) |
| CS51 | Sp0[45] | Introduction to Computer Science II (Head TF) |
| affine-contracts | Contracts for one-shot functions and one-use values in PLT Scheme |
| Caml-Shcaml | UNIX shell programming in Ocaml |
| Control.Exception.Generic [src] | Haskell exceptions that work with monad transformers (deprecated in favor of control-monad-exception) |
Jesse A. Tov
College of Computer and Information Science
Northeastern University
360 Huntington Ave, #202 WVH
Boston, MA 02115
Email:
(@ 'tov '(ccs neu edu))
Jabber:
(@ '(jesse tov) '(gmail com))
(GTalk)
Mobile: +1 857 205 7646
Office: +1 617 373 3926
Face: 308 West Village H
Last updated Fri Apr 25 21:55:37 EDT 2009