BibTeX

@InProceedings{Danvy-al:PEPM11,
  author       = "Olivier Danvy and Jacob Johannsen and Ian Zerny",
  title        = "A Walk in the Semantic Park",
  pages        = "1-12",
  booktitle    = "Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on
                  Partial Evaluation and Semantics-Based Program Manipulation
                  (PEPM 2011)",
  editor       = "Siau-Cheng Khoo and Jeremy Siek",
  publisher    = "ACM Press",
  address      = "New York, New York",
  location     = "Austin, Texas",
  month        = Jan,
  year         = 2011,
  doi          = "http://dx.doi.org/10.1145/1929501.1929503",
  url          = "http://www.zerny.dk/semantic-park.html",
  note         = "Invited talk"
}

@InProceedings{Danvy-Zerny:LOPSTR10,
  author       = "Olivier Danvy and Ian Zerny",
  title        = "Three Syntactic Theories for Combinatory Graph Reduction",
  pages        = "1-20",
  booktitle    = "Logic Based Program Synthesis and Transformation,
                  20th International Symposium, LOPSTR 2010,
                  revised selected papers",
  editor       = "Mar\'ia Alpuente",
  series       = "Lecture Notes in Computer Science",
  number       = "6564",
  publisher    = "Springer",
  location     = "Castle of Hagenberg, Austria"
  month        = Jul,
  year         = 2010,
  doi          = "http://dx.doi.org/10.1007/978-3-642-20551-4\_1",
  url          = "http://www.zerny.dk/syntactic-graph-reduction.html",
  note         = "Invited talk"
}

@InProceedings{Danvy-al:FLOPS10,
  author       = "Olivier Danvy and
                  Kevin Millikin and
                  Johan Munk and
                  Ian Zerny",
  title        = "Defunctionalized Interpreters
                  for Call-by-Need Evaluation",
  pages        = "240-256",
  booktitle    = "Functional and Logic Programming,
                  10th International Symposium, FLOPS 2010",
  editor       = "Matthias Blume and Naoki Kobayashi and Germ\'an Vidal",
  series       = "Lecture Notes in Computer Science",
  number       = 6009,
  publisher    = "Springer",
  location     = "Sendai, Japan",
  month        = Apr,
  year         = 2010,
  doi          = "10.1007/978-3-642-12251-4\_18",
  url          = "http://www.zerny.dk/def-int-for-call-by-need.html"
}

@InProceedings{Zerny:TFP09,
  author       = "Ian Zerny",
  title        = "On Graph Rewriting, Reduction and Evaluation",
  booktitle    = "Trends in Functional Programming Volume 10",
  pages        = "81-112",
  editor       = "Zolt{\'a}n Horv{\'a}th and Vikt{\'o}ria Zs{\'o}k and
                  Peter Achten and Pieter Koopman",
  publisher    = "Intellect Books",
  address      = "Bristol, UK",
  location     = "Kom{\'a}rno, Slovakia",
  year         = 2011,
  url          = "http://www.zerny.dk/on-graph-rewriting.html",
  note         = "Granted the best student-paper award of TFP 2009"
}

@InProceedings{Danvy-al:DSL09,
  author       = "Olivier Danvy and {Chung-chieh} Shan and Ian Zerny",
  title        = "{J} is for {J}avaScript:
                  A direct-style correspondence
                  between {A}lgol-like languages and {J}avaScript
                  using first-class continuations",
  booktitle    = "Domain-Specific Languages,
                  IFIP TC 2 Working Conference,
                  DSL 2009",
  pages        = "1-19",
  editor       = "Walid Mohamed Taha",
  series       = "Lecture Notes in Computer Science",
  number       = 5658,
  organization = "IFIP",
  publisher    = "Springer",
  location     = "Oxford, UK",
  year         = 2009,
  month        = Jul,
  doi          = "10.1007/978-3-642-03034-5\_1",
  url          = "http://www.zerny.dk/j-is-for-js.html"
}