Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Joseph P. Near
conf.researchr.org general profile
ICFP 2020 profile
SPLASH 2019 profile
Registered user since Mon 8 Jul 2019
Name:
Joseph P. Near
Affiliation:
University of Vermont
Personal website:
http://www.uvm.edu/~jnear/
Contributions
miniKanren 2020
Committee Member in Program Committee within the miniKanren 2020-track
Session Chair of Morning Session (part of miniKanren 2020)
SPLASH 2019
Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track
Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track
Share
x
Sat 25 Jun 03:22