Search
for Author
All Reviews
Flanagan, Cormac
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Hybrid type checking
Knowles K., Flanagan C. ACM Transactions on Programming Languages and Systems 32(2): 1-34, 2010. Type: Article
Many programming languages rely on static typing systems to help software engineers catch errors as soon as possible. However, having to decide type satisfiability at compile time severely constrains the design space of such systems; m...
...
Aug 18 2010
Effects for cooperable and serializable threads
Yi J., Flanagan C. TLDI 2010 (Proceedings of the 5th ACM SIGPLAN Workshop on Types in Language Design and Implementation, Madrid, Spain, Jan 23, 2010) 3-14, 2010. Type: Proceedings
Writing ubiquitously threaded code is still an uncommon practice, as not all problems are suited to threads--and this is unlikely to change any time soon. When problems are suited for threading, good threaded code is hard to c...
...
Apr 30 2010
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy