追蹤
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
12442001
Gradual typing for objects
J Siek, W Taha
European Conference on Object-Oriented Programming, 2-27, 2007
7502007
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
2942006
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
255*2003
Refined criteria for gradual typing
JG Siek, MM Vitousek, M Cimini, JT Boyland
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
2142015
Blame for all
A Ahmed, RB Findler, JG Siek, P Wadler
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1762011
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
1731998
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
1682014
Concept checking: Binding parametric polymorphism in C++
J Siek, A Lumsdaine
First Workshop on C++ Template Programming, 56, 2000
1572000
Threesomes, with and without blame
JG Siek, P Wadler
ACM Sigplan Notices 45 (1), 365-376, 2010
1452010
Gradual typing with unification-based inference
JG Siek, M Vachharajani
Proceedings of the 2008 symposium on Dynamic languages, 1-12, 2008
1182008
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
1082007
The matrix template library: Generic components for high-performance scientific computing
JG Siek, A Lumsdaine
Computing in Science & Engineering 1 (6), 70-71, 1999
971999
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
911999
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
822015
Exploring the design space of higher-order casts
J Siek, R Garcia, W Taha
Programming Languages and Systems: 18th European Symposium on Programming …, 2009
822009
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
812010
Essential language support for generic programming
JG Siek, A Lumsdaine
ACM SIGPLAN Notices 40 (6), 73-84, 2005
782005
The gradualizer: a methodology and algorithm for generating gradual type systems
M Cimini, JG Siek
ACM SIGPLAN Notices 51 (1), 443-455, 2016
772016
系統目前無法執行作業,請稍後再試。
文章 1–20