|
Jesse A. Tov
PhD student (fourth-year) |
Research interests
I’m interested in programming languages, especially functional programming and type systems. In macros we have a great technique for extending language syntax; I’m wondering about analogous techniques for user-extensible type systems.
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
Current: |
||
| CSG107 | Fa08 | Program Design Paradigms (TA) |
At Northeastern: |
||
| CSG262 | Sp08 | Compilers |
| CSG111 | Fa07 | Principles of Programming Languages (TA) |
At Harvard: |
||
| CS51 | Sp07 | Introduction to Computer Science II (TF) |
| CS51 | Sp05 | Introduction to Computer Science II (Head TF) |
| CS51 | Sp04 | Introduction to Computer Science II (Head TF) |
Talks
| Martin-Löf Type Theory and Agda | NU PL Seminar Jr., 24 January 2008 |
| Row Polymorphism | NU PL Seminar Jr., 5 October 2007, notes |
| Erlang-Style Concurrency | NU PL Seminar, 2 May 2007, notes |
| Quantum Lambda Calculus | NU PL Seminar Jr., 10 November 2006, pdf |
| Type Classes | NU PL Seminar Jr., 20 October 2005, html |
Software
| Caml-Shcaml | UNIX shell programming in Ocaml. |
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 Mon Sep 8 18:04:57 EDT 2008
