publication venue for
- Sequent calculi and abstract machines. 31:1-48. 2009
- A correctness proof for combinator reduction with cycles. 12:123-134. 1990
- On iterative constructs. 12:139-141. 1990
- A reflection on call-by-value 1997
ACM Transactions on Programming Languages and Systems
Journal
- Overview
- Identity
- View All
Overview
has subject area
- 0803 Computer Software (FoR)
- 0806 Information Systems (FoR)
- Software Engineering (Science Metrix)