slidesgames.bib

@article{ong2015,
  author    = {C.{-}H. Luke Ong},
  title     = {Normalisation by Traversals},
  journal   = {CoRR},
  volume    = {abs/1511.02629},
    year      = {2015}
}


@book{JGS93,
  author    = {Neil D. Jones and
               Carsten K. Gomard and
               Peter Sestoft},
  title     = {Partial evaluation and automatic program generation},
    year      = {1993}
}


@inproceedings{blumong2008,
  author    = {William Blum and
               Luke Ong},
  title     = {A Concrete Presentation of Game Semantics},
  booktitle = {Galop 2008:Games for Logic and Programming Languages}  }


@inproceedings{DBLP:conf/icfp/NeatherwayRO12,
  author    = {R. P. Neatherway and
               S. J. Ramsay and
               C.{-}H. Luke Ong},
  title     = {A traversal-based algorithm for higher-order model checking},
  booktitle = {ICFP},
  year      = {2012}
}




@article{DBLP:journals/iandc/HylandO00,
  author    = {J. M. E. Hyland and
               C.{-}H. Luke Ong},
  title     = {On Full Abstraction for {PCF:} {I}, {II}, and {III}},
  journal   = {Inf. Comput.},
    year      = {2000}}


@proceedings{DBLP:conf/cc/1980,
  editor    = {Neil D. Jones},
  title     = {Semantics-Directed Compiler Generation},
  series    = {Lecture Notes in Computer Science},
  volume    = {94},
  publisher = {Springer},
  year      = {1980}
}






@article{DBLP:journals/jacm/JonesM78,
  author    = {Neil D. Jones and
               Steven S. Muchnick},
  title     = {The Complexity of Finite Memory Programs with Recursion},
  journal   = {J. {ACM}},
  volume    = {25},
  number    = {2},
  pages     = {312--321},
  year      = {1978},
  url       = {http://doi.acm.org/10.1145/322063.322074},
  doi       = {10.1145/322063.322074},
  timestamp = {Thu, 20 Nov 2003 12:28:13 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jacm/JonesM78},
  bibsource = {dblp computer science bibliography, http://dblp.org}

  }