Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory
Paper
How practical is POPL?
Abstract
No abstract available.
Related
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Chidanand Apte, Edna Grossman, et al.
IEEE Intelligent Systems and Their Applications
Barry K. Rosen
ACM SIGPLAN Notices