Browsing Department of Computer Science Research Reports: 2000 - 2008 by Author "Levy, Paul Blain"

Now showing items 1-1 of 1

    • Call-By-Push-Value 

      Levy, Paul Blain (2013-12-10)
      Call-by-push-value (CBPV) is a new programming language paradigm, based on the slogan “a value is, a computation does”. We claim that CBPV provides the semantic primitives from which the call-by-value and call-by-name ...