Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

Counting Successes: Effects and Transformations for Non-Deterministic Programs

Nick Benton, Andrew Kennedy, Martin Hofmann, and Vivek Nigam. Counting Successes: Effects and Transformations for Non-Deterministic Programs. In In Phil Wadler's Festschrift, 2016.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@inproceedings{benton16wp,
  author    = {Nick Benton and Andrew Kennedy and Martin Hofmann and Vivek Nigam},
  title     = {Counting Successes: Effects and Transformations for Non-Deterministic Programs},
  booktitle = {In Phil Wadler's Festschrift},
  year      = {2016},
  bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Denotational Semantics},
  bib2html_dl_pdf = "/docs/nondet.pdf"
 }

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