Old Web
English
Sign In
Acemap
>
authorDetail
>
CosmanBenjamin
CosmanBenjamin
Computer science
Formal system
TypeScript
Immutability
Programming language
2
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Local refinement typing
2017
CosmanBenjamin
JhalaRanjit
Show All
Source
Cite
Save
Citations (0)
Refinement types for TypeScript
2016
Sigplan Notices
VekrisPanagiotis
CosmanBenjamin
JhalaRanjit
Show All
Source
Cite
Save
Citations (1)
1