Publications

Home
Publications

1 result for T.K. Lakshman

Soft typing with conditional types
- - Alexander Aiken
  - Edward L. Wimmers
  - et al.
- 1994
- POPL 1994
Conference paper

Date

Start

End

Featured collections

Popular topics