• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
  • Computer Science, Mathematics
  • IEEE 26th Annual Symposium on Logic in Computer…
  • 2011 (First Publication: 17 August 2012)
  • 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 predicates and types,Expand
  • Mads Tofte, Lars Birkedal
  • Computer Science
  • TOPL
  • 1998 (First Publication: 1 July 1998)
  • Region Inference is a program analysis which infers lifetimes of values. It is targeted at a runtime model in which the store consists of a stack of regions and memory management predominantlyExpand