The Design of the E Programming Language
- Joel E. Richardson
- Michael J. Carey
- et al.
- 1993
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Publications
Date
Featured collections
Popular topics
33 results at ACM Transactions on Programming Languages and Systems (TOPLAS)
The CLP(R) Language and System
- Joxan Jaffar
- Spiro Michaylov
- et al.
- 1992
- ACM Transactions on Programming Languages and Systems (TOPLAS)
Trace-Based Network Proof Systems: Expressiveness and Completeness
- Jennifer Widom
- David Gries
- et al.
- 1992
- ACM Transactions on Programming Languages and Systems (TOPLAS)