Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Julian Jabs
conf.researchr.org general profile
ICFP 2020 profile
POPL 2020 profile
SPLASH 2016 profile
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
x
Sat 14 Dec 05:55