conf.researchr.org / Peter Thiemann
Registered user since Fri 10 Apr 2015
Name:Peter Thiemann
Affiliation:University of Freiburg, Germany
Contributions
2024
ECOOP
2023
Symposium on Practical Aspects of Declarative Languages
PLMW
ST
ICFP
- Committee Member in Program Committee within the ICFP Papers and Events-track
- Author of Artifact: Intrinsically Typed Sessions With Callbacks within the Artifact Evaluation-track
- Session Chair of Language design (part of ICFP Papers and Events)
- Author of Intrinsically Typed Sessions with Callbacks (Functional Pearl) within the ICFP Papers and Events-track
TyDe
2022
SPLASH
- Author of Label dependent lambda calculus and gradual typing within the COVID Time Papers In Person-track
- Author of Kindly Bent to Free Us within the COVID Time Papers In Person-track
- Session Chair of Effects (part of OOPSLA)
- Session Chair of ICFP and SAS (part of COVID Time Papers In Person)
- Session Chair of SLE papers (part of COVID Time Papers In Person)
2021
2020
ECOOP
2019
APLAS
ETAPS
‹Programming›
2018
‹Programming›
2017
ICFP
‹Programming›
2016
ICFP
ECOOP
Modularity
2015
ECOOP
- Author of TreatJS: Higher-Order Contracts for JavaScripts within the Research Track-track
- Author of Transparent Object Proxies in JavaScript within the Artifacts-track
- Author of Transparent Object Proxies in JavaScript within the Research Track-track
- Author of TreatJS: Higher-Order Contracts for JavaScripts within the Artifacts-track