• A Formulae-as-Types Notion of Control

      www.cs.umd.edu/class/fall2014/cmsc631/papers/griffin-callcc.pdf A Formulae-as-Types Notion of Control Timothy G. Gri n ... The formulae-as-types correspondence presented in this paper is based on a typed version of Idealized
    • Talk:Curry–Howard correspondence - Wikipedia, the free ...

      en.wikipedia.org/wiki/Talk:Curry%E2%80%93Howard Howard's manuscript was called The formulae-as-types notion of construction, the terminology formulae-as-types correspondence is closest to the source;
    • A Formulae-as-Types Notion of Control - researchgate.net

      www.researchgate.net/profile/Timothy_Griffin2/.../0deec518c14fb37558000000.pdf The formulae-as-types correspondence presented in this paper is based on a typed version of Idealized Scheme - a typed ISWIM containing an operator C ...
    • A Formulae-as-Types Notion of Control (PDF Download Available)

      www.researchgate.net/.../2331474_A_Formulae-as-Types_Notion_of_Control The formulae-as-types correspondence this paper is based on a typed version of Idealized Scheme - a typed ISWIM C similar to call/cc - deveioped by Felleisen el at