Barry K. Rosen
Journal of the ACM
Paper
How practical is POPL?
Abstract
No abstract available.
Related
Barry K. Rosen
ACM SIGPLAN Notices
Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Conference paper
Monoids for rapid data flow analysis
Barry K. Rosen
POPL 1978