@neauoire @klardotsh maybe www2.ccs.neu.edu/racket/pubs/d