레코드 접합연산을 포함한 다형적 레코드 계산A Polymorphic Record Calculus with Record Concatenation Operation
- Publisher
- 한국정보과학회
- Issue Date
- 1996-11
- Language
- Korean
- Citation
정보과학회논문지(B), v.23, no.11, pp.1194 - 1203
- ISSN
- 1226-2285
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.