• Sign in
  • Sign up
conf.researchr.org / Morten Krogh-Jespersen
  • ICFP 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile

Not registered as user

Name:Morten Krogh-Jespersen
Affiliation:Aarhus University

Contributions

2018

POPL

  • Author of A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST within the Research Papers-track
  • Author of A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST within the Artifact Evaluation-track

2017

POPL

  • Author of A Relational Model of Types-and-Effects in Higher-Order Concurrent Separation Logic within the POPL-track

2016

HOPE

  • Author of A Logical Account of a Type-and-Effect System within the HOPE-track
Share
xFri 13 Jun 19:00
using conf.researchr.org (v1.69.0)
Support page
Sign Up