Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

@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 Mon Jan 08, 2024 13:46:57