Old Web
English
Sign In
Acemap
>
Paper
>
A Type System for Tom
A Type System for Tom
2010
Claude Kirchner
Pierre-Etienne Moreau
Cláudia Tavares
Keywords:
Program analysis
Type inference
Programming language
Pattern matching
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
15
References
0
Citations
NaN
KQI
[]