• Sign in
  • Sign up
conf.researchr.org / Julian Jabs
  • ICFP 2020 profile
  • POPL 2020 profile
  • SPLASH 2016 profile
No Photo

Registered user since Wed 19 Aug 2020

Name:Julian Jabs
Affiliation:University of Tübingen

Contributions

2020

HOPE

  • Author of Towards Highly Symmetric Effects and Coeffects and a Systematic Separation between the Extra- and Intra-Logical within the HOPE 2020-track

POPL

  • Author of Decomposition Diversity with Symmetric Data and Codata within the Research Papers-track

2016

DSLDI

  • Author of Towards explanation-oriented introductory programming within the DSLDI-track
Share
xSat 17 May 18:57
using conf.researchr.org (v1.69.0)
Support page
Sign Up