about
publications
artifacts(current)
cv
teaching

artifacts

Listed below are pet projects and artifacts that accompany some of my publications.

IowaFP/ROmega-ICFP23-artifact/

IowaFP/ROmega-ICFP23-artifact/

astump/dc-recursion-examples/

astump/dc-recursion-examples/

iowaFP/rosi/

iowaFP/rosi/

iowaFP/CategoriesInAgda/

iowaFP/CategoriesInAgda/

CLC-UIowa/HoTT/

CLC-UIowa/HoTT/

iowaFP/HindleyMilnerInAgda

iowaFP/HindleyMilnerInAgda

© Copyright 2026 Alex Hubers. Powered by Jekyll with al-folio theme.