Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/sml.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Steven C. Cater and James K. Huggins, "An ASM Dynamic Semantics for Standard ML". Technical Report CPSC-1999-2, Computer Science Program, Kettering University, October 1999. |
|---|---|
| Summary: | ASMs are used to provide dynamic semantics for the functional programming language Standard ML. |
| Subjects: | Programming Languages |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: | See the extended abstract of this paper. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/sml.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT