79 citations · 142 across the 16 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 6 cited
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 c…
cs.LO2012★ 79 cited
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer +1
We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on pred…