Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Infoscience
English
French
Log In
Log in with EPFL account
Home
Academic and Research Output
Conferences, Workshops, Symposiums, and Seminars
Structural Subtyping of Non-Recursive Types is Decidable
conference paper
Structural Subtyping of Non-Recursive Types is Decidable
Kuncak, Viktor
•
Rinard, Martin
2003
Eighteenth Annual IEEE Symposium on Logic in Computer Science
Files
Details
Metrics
Type
conference paper
DOI
10.1109/LICS.2003.1210049
Author(s)
Kuncak, Viktor
Rinard, Martin
Date Issued
2003
Published in
Eighteenth Annual IEEE Symposium on Logic in Computer Science
Start page
96
End page
107
Written at
OTHER
EPFL units
LARA
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10369
