Journal: ACM Transactions on Programming Languages and Systems

Volume 26, Issue 4

609 -- 651Rajiv Mirani, Paul Hudak. First-class monadic schedules
652 -- 701Simon Helsen, Peter Thiemann. Polymorphic specialization for ML
702 -- 734A. Prasad Sistla, Patrice Godefroid. Symmetry and reduced symmetry in model checking
735 -- 765Jinpyo Park, Soo-Mook Moon. Optimistic register coalescing