Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Abstract effects and proof-relevant logical relations

Nick Benton, Martin Hofmann, and Vivek Nigam. Abstract effects and proof-relevant logical relations. In POPL, pp. 619–632, ACM, 2014.
With some corrections, dated 5 May 2014.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

 @inproceedings{benton14popl,
  author    = {Nick Benton and
               Martin Hofmann and
               Vivek Nigam},
  title     = {Abstract effects and proof-relevant logical relations},
  booktitle = {POPL},
  year      = {2014},
  pages     = {619-632},
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  booktitle = {POPL},
  publisher = {ACM},
  year      = {2014},
  isbn      = {978-1-4503-2544-8},
  ee        = {http://dl.acm.org/citation.cfm?id=2535838},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Denotational Semantics},
  wwwnote = "With some corrections, dated 5 May 2014.",
  bib2html_dl_pdf = "/docs/popl14-proof-relevant.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Wed Jul 19, 2017 09:17:26