Scholarly and Creative Works
1996
- Iyer, S. P., & Seaman, J. M. (1996). An Operational Semantics of Sharing in Lazy Evaluation. Science of Computer Programming, 27(3), 289–322.
1994
- Seaman, J., & Felty, A. (1994, January). Proving Properties about a Lazy Functional Language with the Coq Proof Development System. Technical Report.
1993
- Purushothaman, S., & Seaman, J. (1993). From Operational Definitions to Abstract Semantics. In Functional Programming Languages and Computer Architecture (pp. 276–288).
1992
- Seaman, J. (1992). An Adequate Operational Semantics for Sharing in Lazy Evaluation. In In The European Symposium of Programming (pp. 435–450).