Presentations

  1. Modular Module Systems: A Survey
    9 March 2012  ·
    Northeast Scala Symposium — Cambridge, MA
  2. Futzing with Actors (etc.)
    27 June 2011  ·
    New York Scala Enthusiasts — New York, NY
  3. Continuations and Other Functional Patterns
    18 February 2011  ·
    Northeast Scala Symposium — New York, NY
  4. Monadologie: Professional Help for Type Anxiety
    12 July 2010  ·
    New York Scala Enthusiasts — New York, NY
  5. Something for Everyone: AI Lab Assignments that Span Learning Styles and Aptitudes
    12 April 2008  ·
    Consortium of Computing Sciences in Colleges (CCSC/NE) — Staten Island, NY
  6. Type-Based Compression of XML Data
    29 March 2007  ·
    Data Compression Conference (DCC) — Snowbird, UT
  7. On the Construction of Convergent Transfer Subgraphs in General Labeled Directed Graphs
    7 March 2007  ·
    Southeastern International Conference on Combinatorics, Graph Theory, and Computing — Boca Raton, FL
  8. MetaOCaml Server Pages: Web Publishing as Staged Computation
    27 October 2005  ·
    New England Programming Languages Seminar — Providence, RI
    16 September 2005  ·
    New Jersey Programming Languages Seminar — Hoboken, NJ
    25 October 2004  ·
    First MetaOCaml Workshop — Vancouver, BC, Canada
  9. Typed Compilation Against Non-Manifest Base Classes
    21 September 2005  ·
    Computer Science Systems Seminar — Yale University, New Haven, CT
    26 July 2005  ·
    Workshop on Formal Techniques for Java-like Programs (FTfJP) — Glasgow, Scotland, UK
    8 March 2005  ·
    Int’l Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS) — Nice, France
  10. Typed Compilation of Objects
    6 November 2003  ·
    Seminar on Certifying Compilation — Stevens Institute of Technology, Hoboken, NJ
  11. Precision in Practice: A Type-Preserving Java Compiler
    7 April 2003  ·
    Int’l Conf. on Compiler Construction (CC) — Warsaw, Poland
    24 June 2002  ·
    Int’l Conf. on Dependable Systems and Networks (DSN ‘Fast Abstracts’) — Bethesda, MD
  12. A Type-Preserving Compiler Infrastructure
    17 May 2002  ·
    Thesis defense — Yale University, New Haven, CT
  13. Functional Java Bytecode
    24 July 2001  ·
    Intermediate Representation Engineering Workshop (IRE) — Orlando, FL
  14. Type-Preserving Compilation of Featherweight Java
    20 January 2001  ·
    Foundations of Object-Oriented Languages Workshop (FOOL) — London, UK
    7 December 2000  ·
    New England Programming Languages Seminar — Providence, RI
  15. Implementing Typed Intermediate Languages
    29 September 1998  ·
    Int’l Conf. on Functional Programming (ICFP) — Baltimore, MD
©2002–2015 Christopher League