Joseph R. Harrison

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 2

Top Topics

Cut Elimination

Top Venues

Erlang Workshop

Publications

Jack B. Harrison, Joseph R. Harrison, Madison G. Boswell, Alan J. Michaels
A Hierarchical Database of One Million Websites. SecDev (2022)
Joseph R. Harrison
Towards an Isabelle/HOL formalisation of core Erlang. Erlang Workshop (2017)