Publications of Mark Tullsen

  • Mark Tullsen.  The Zip Calculus. Mathematics of Program Construction, Fifth International Conference, MPC 2000volume 1837 of Lecture Notes in Computer Science, pages 28--44. © Springer-Verlag, July 2000.  postscript, bibtex

  •  
  • Mark Tullsen.  The Zip Calculus. Technical Report YALEU/DCS/RR-1191, Yale University, February 2000.  postscript, bibtex

  •  
  • Mark Tullsen.  First Class Patterns.  In E. Pontelli and V. Santos Costa, editors, Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000volume 1753 of Lecture Notes in Computer Science, pages 1--15. © Springer-Verlag, January 2000.  postscript, bibtex

  •  
  • Mark Tullsen and Paul Hudak.  Shifting Expression Procedures Into Reverse.  In Olivier Danvy, editor, Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Technical report BRICS-NS-99-1, University of Aarhus, pages 95--104, San Antonio, Texas, January 1999.  postscript, bibtex

  •  
  • Mark Tullsen and Paul Hudak.  An Intermediate Meta-language for Program Transformation.  Technical Report YALEU/DCS/RR-1154, Yale University, June 1998.  postscriptbibtex

  •  
  • Mark Tullsen.  Compiling Haskell to Java.  Technical Report YALEU/DCS/RR-1204, Yale University, May 1996. postscript, bibtex

  •