Observations on a Linear Pcf (preliminary Report)


This paper considers some theoretical and practical issues concerning the use of linear logic as a logical foundation of functional programming languages such as Haskell and SML. First I give an operational theory for a linear PCF: the (typed) linear-calculus extended with booleans, conditional and non-termination. An operational semantics is given which… (More)


  • Presentations referencing similar topics