|
|||||
|
|
Fork algebraic datatypes |
|
| Authors: | Martinez Lopez, PE Baum, GA |
| Affiliation: | Departamento di Informatica, Universidad Nacional de la Plata, C.C. 11, Correo Central, 1900 La Plata, Buenos Aires, Argentina e-mail: fidel@info.unlp.edu.ar e-mail: gbaum@info.unlp. edu.ar |
| Abstract: | |
| Keywords: | Fork algebras Program Construction Program Derivation Datatypes |
| 本文献已被 Oxford 等数据库收录！ | |