Daniel James : Publications

Click here to download all publications in a single bibtex file

@unpublished{HJWHM12Sor,
  title = "Sorting with Bialgebras and Distributive Laws",
  author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalhães, José Pedro",
  year = "2012",
  month = "May",
  note = "Accepted to WGP '12",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/sorting.html",
}

@unpublished{HiHaJa12,
  title = "Functional Pearl: F for Functor",
  author = "Hinze, Ralf and Hackett, Jennifer and James, Daniel W. H.",
  year = "2012",
  month = "March",
  note = "Submitted to ICFP '12",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/functor.html",
}

@inproceedings{HJ11UFP,
  title = "Proving the unique fixed-point principle correct: an adventure with category theory",
  author = "Hinze, Ralf and James, Daniel W.H.",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceeding of the 16th ACM SIGPLAN international conference on Functional programming",
  isbn = "978-1-4503-0865-6",
  location = "Tokyo, Japan",
  month = "September",
  pages = "359--371",
  publisher = "ACM",
  series = "ICFP '11",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/unique.html",
  doi = "10.1145/2034773.2034821",
}

@incollection{HHJ11Fusion,
  title = "Theory and Practice of Fusion",
  author = "Hinze, Ralf and Harper, Thomas and James, Daniel W.H.",
  year = "2011",
  affiliation = "Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD England",
  booktitle = "Implementation and Application of Functional Languages",
  editor = "Hage, Jurriaan and Morazán, Marco",
  isbn = "978-3-642-24275-5",
  month = "January",
  pages = "19--37",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/fusion.html",
  volume = "6647",
  doi = "10.1007/978-3-642-24276-2_2",
}

@techreport{HJ11UFPTech,
  title = "Proving The Unique Fixed-Point Principle Correct",
  author = "Hinze, Ralf and James, Daniel W. H.",
  year = "2011",
  institution = "Department of Computer Science, University of Oxford",
  number = "CS-RR-2011-03",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/unique.html",
}

@techreport{HHJ2011FusionTech,
  title = "Theory and Practice of Fusion",
  author = "Hinze, Ralf and Harper, Thomas and James, Daniel W.H.",
  year = "2011",
  institution = "Department of Computer Science, University of Oxford",
  number = "CS-RR-2011-01",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/fusion.html",
}

@inproceedings{HiJ10Rea,
  title = "Reason isomorphically!",
  author = "Hinze, Ralf and James, Daniel W. H.",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 6th ACM SIGPLAN workshop on Generic programming (WGP '10)",
  editor = "Oliveira, Bruno C.d.S. and Zalewski, Marcin",
  isbn = "978-1-4503-0251-7",
  location = "Baltimore, Maryland, USA",
  month = "sep",
  pages = "85--96",
  publisher = "ACM",
  series = "WGP '10",
  doi = "10.1145/1863495.1863507",
}

@inproceedings{HHJ10Fusion,
  title = "Theory and Practice of Fusion",
  author = "Hinze, Ralf and Harper, Thomas and James, Daniel W.H.",
  year = "2010",
  booktitle = "Pre-proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages",
  editor = "Hage, Jurriaan",
  location = "Alphen aan den Rijn, The Netherlands",
  month = "August",
  note = "The pre-proceedings appeared as Utrecht University Technical Report UU-CS-2010-020: \url{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-020.pdf}",
  pages = "402--421",
  series = "IFL '10",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/fusion.html",
}

@incollection{JaH09Ref,
  title = "A reflection-based proof tactic for lattices in {Coq}",
  author = "James, Daniel W.H. and Hinze, Ralf",
  year = "2009",
  booktitle = "Post-symposium proceedings of the 10th Symposium on Trends in Functional Programming",
  chapter = "7",
  editor = "Horv\'{a}th, Zolt\'{a}n and Zs\'{o}k, Vikt\'{o}ria",
  isbn = "9781841504056",
  location = "Kom\'{a}rno, Slovakia",
  month = "June",
  note = "\url{http://www.intellectbooks.co.uk/books/view-Book,id=4740/}",
  pages = "97--112",
  publisher = "Intellect",
  series = "TFP'09",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/lattice.html",
}

@mastersthesis{james08masters,
  title = "A Functional and Monadic Proof Assistant for Streams",
  author = "Daniel W.H. James",
  year = "2008",
  month = "September",
  school = "University of Oxford",
  url = "http://www.comlab.ox.ac.uk/people/daniel.james/mastersthesis.html",
}