Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Linear-use CPS translations in the Enriched Effect Calculus

Jeff Egger ; Rasmus Ejlers Møgelberg ; Alex Simpson.
The enriched effect calculus (EEC) is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. This paper explores the enriched effect calculus as a target language for continuation-passing-style (CPS) translations in which the typing of the translations&nbsp;[&hellip;]
Published on October 5, 2012
Volume 8, Issue 4
  • < Previous
  • 1
  • Next >