Jonathan Springer

List of publications from the DBLP Bibliography Server - FAQ

1996

1 Jonathan Springer, Samuel N. Kamin: Strictness Analysis in the Imperative Lambda Calculus. Lisp and Symbolic Computation 9(1): 109-143 (1996)

1996
1		Jonathan Springer, Samuel N. Kamin: Strictness Analysis in the Imperative Lambda Calculus. Lisp and Symbolic Computation 9(1): 109-143 (1996)

Coauthor Index

1 Samuel N. Kamin (Sam Kamin) [1]