Modeling an algebraic stepper (2001)

by John Clements , Matthew Flatt , Matthias Felleisen
Venue:Proceedings of the 10th European Symposium on Programming, volume 2028 of Lecture Notes in Computer Science
Citations:43 - 17 self