Joseph P. Near -

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