Literature
We have the works available under the following topics:
Language Modification
January 3, 2006	Mutable syntax in Mercury
Testing/Verification
work in progress	Testing with qcheck2
Miscellanea
January 16, 2006	PADL symposium post mortem
Copyright © 2006-2007, Logical Types, LLC. All rights reserved.