• Sign in
  • Sign up
conf.researchr.org / Hannes Saffrich
  • ICFP 2020 profile
  • ICFP 2024 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
  • SPLASH 2024 profile

Not registered as user

Name:Hannes Saffrich
Affiliation:University of Freiburg

Contributions

2024

SPLASH

  • Author of Law and Order for Typestate with Borrowing within the OOPSLA 2024-track

TyDe

  • Author of Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma within the TyDe 2024-track

2023

PPDP

  • Author of Polymorphic Typestate for Session Types within the PPDP 2023-track

2022

SPLASH

  • Author of Kindly Bent to Free Us within the COVID Time Papers In Person-track

2020

ICFP

  • Author of Kindly Bent to Free Us within the ICFP Program-track
Share
xFri 13 Jun 15:46
using conf.researchr.org (v1.69.0)
Support page
Sign Up