Skip to main content

1 Result(s)

within Nick Benton Remove this filter Programming Techniques Remove this filter Software Engineering Remove this filter

and
Your search also matched 4 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Counting Successes: Effects and Transformations for Non-deterministic Programs

Include preview-only content

  1. Chapter and Conference Paper

    Adding Equations to System F Types

    We present an extension of System F with types for term-level equations. This internalization of the rich equational theory of the polymorphic lambda calculus yields an expressive core language, suitable for f...

    Neelakantan R. Krishnaswami, Nick Benton in Programming Languages and Systems (2012)

    Download PDF (239 KB)