Skip to main content
Kent Academic Repository
Simple search | Advanced search

Browse by Publisher

[up] Up a level
Group by: Item Type | Date | No Grouping
1997
Number of items: 1.

1997

Poll, Erik (1997) System F with Width-subtyping and Record Updating. In: Theoretical Aspects of Computer Software (TACS'97), Sendai, Japan. (KAR id:21451)
Format: Other Format: PDF
This list was generated on Wed Apr 1 04:30:46 2026 BST.
SensusAccess
Feedback