Effective ATS:
An Amortized Queue Implementation
main.html
Makefile
queue-sllist2.dats