关注
Jeremy G. Siek
Jeremy G. Siek
Professor of Computer Science, Indiana University
在 indiana.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
The Boost Graph Library: User Guide and Reference Manual, The
JG Siek, LQ Lee, A Lumsdaine
Pearson Education, 2001
12512001
Gradual typing for objects
J Siek, W Taha
European Conference on Object-Oriented Programming, 2-27, 2007
7702007
Concepts: linguistic support for generic programming in C++
D Gregor, J Järvi, JG Siek, B Stroustrup, G Dos Reis, A Lumsdaine
ACM SIGPLAN Notices 41 (10), 291-310, 2006
3022006
A comparative study of language support for generic programming
R Garcia, J Jarvi, A Lumsdaine, JG Siek, J Willcock
Conference on Object-oriented Programing, Systems, Languages, and …, 2003
257*2003
Refined criteria for gradual typing
JG Siek, MM Vitousek, M Cimini, JT Boyland
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
2212015
Blame for all
A Ahmed, RB Findler, JG Siek, P Wadler
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1792011
Design and evaluation of gradual typing for Python
MM Vitousek, AM Kent, JG Siek, J Baker
Proceedings of the 10th ACM Symposium on Dynamic languages, 45-56, 2014
1712014
The matrix template library: A generic programming approach to high performance numerical linear algebra
JG Siek, A Lumsdaine
Computing in Object-Oriented Parallel Environments, 501-501, 1998
1711998
Concept checking: Binding parametric polymorphism in C++
J Siek, A Lumsdaine
First Workshop on C++ Template Programming, 56, 2000
1592000
Threesomes, with and without blame
JG Siek, P Wadler
ACM Sigplan Notices 45 (1), 365-376, 2010
1482010
Gradual typing with unification-based inference
JG Siek, M Vachharajani
Proceedings of the 2008 symposium on Dynamic languages, 1-12, 2008
1202008
An extended comparative study of language support for generic programming
R Garcia, J Jarvi, A Lumsdaine, J Siek, J Willcock
Journal of functional programming 17 (2), 145-205, 2007
1072007
The matrix template library: Generic components for high-performance scientific computing
JG Siek, A Lumsdaine
Computing in Science & Engineering 1 (6), 70-71, 1999
981999
Automating the generation of composed linear algebra kernels
G Belter, ER Jessup, I Karlin, JG Siek
Proceedings of the Conference on High Performance Computing Networking …, 2009
942009
The generic graph component library
LQ Lee, JG Siek, A Lumsdaine
ACM SIGPLAN Notices 34 (10), 399-414, 1999
921999
Monotonic references for efficient gradual typing
JG Siek, MM Vitousek, M Cimini, S Tobin-Hochstadt, R Garcia
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
852015
An efficient software transactional memory using commit-time invalidation
JE Gottschlich, M Vachharajani, JG Siek
Proceedings of the 8th annual IEEE/ACM international symposium on Code …, 2010
842010
Exploring the design space of higher-order casts
J Siek, R Garcia, W Taha
Programming Languages and Systems: 18th European Symposium on Programming …, 2009
842009
The gradualizer: a methodology and algorithm for generating gradual type systems
M Cimini, JG Siek
ACM SIGPLAN Notices 51 (1), 443-455, 2016
782016
Essential language support for generic programming
JG Siek, A Lumsdaine
ACM SIGPLAN Notices 40 (6), 73-84, 2005
772005
系统目前无法执行此操作,请稍后再试。
文章 1–20