researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal
Journal: ACM Transactions on Programming Languages and Systems
Home
Index
Info
Issue
Volume
26
, Issue
4
609
--
651
Rajiv Mirani
,
Paul Hudak
.
First-class monadic schedules
652
--
701
Simon Helsen
,
Peter Thiemann
.
Polymorphic specialization for ML
702
--
734
A. Prasad Sistla
,
Patrice Godefroid
.
Symmetry and reduced symmetry in model checking
735
--
765
Jinpyo Park
,
Soo-Mook Moon
.
Optimistic register coalescing