An update calculus for expressing type-safe program updates
Edición de la obra An update calculus for expressing type-safe program updates
| Autor | Martin Erwig |
|---|---|
| Editorial | Oregon State University, Dept. of Computer Science |
| Fecha de publicación | 2002 |
| Lugar | [Corvallis, OR |
| Idioma | inglés |
| Páginas | 22 |
| Serie | Technical report -- TR02-60-09. · Technical report (Oregon State University. Dept. of Computer Science) -- 02-60-09. |
| Número de Cutter | E73u |