AUTHORS

# This is the official list of tapl authors for copyright purposes.
# This file is distinct from the CONTRIBUTORS files.
# See the latter for an explanation.

Benjamin C. Pierce  https://www.cis.upenn.edu/~bcpierce/tapl
GuiQuan Zhang <guiqzhang at gmail.com>
yibit <yibitx at 126.com>