|
Jesse A. Tov
PhD student (fourth-year) |
Research interests
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.
Publications
- Haskell Session Types with (Almost) No Class (with Riccardo Pucella). In Proc. ACM SIGPLAN 2008 Haskell Symposium (Haskell'08), September 2008.
- Caml-Shcaml: An OCaml Library for Unix Shell Programming (with Alec Heller). In Proc. ACM SIGPLAN Workshop on ML (ML'08), September 2008.
Teaching
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) |
Software
| 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) |
Contact information
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
