Segui
Jeremy G. Siek
Jeremy G. Siek
Professor of Computer Science, Indiana University
Email verificata su indiana.edu - Home page
Titolo
Citata da
Citata da
Anno
The Boost Graph Library: User Guide and Reference Manual, The
JG Siek, LQ Lee, A Lumsdaine
Pearson Education, 2001
12732001
Gradual typing for objects
J Siek, W Taha
European Conference on Object-Oriented Programming, 2-27, 2007
7972007
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
3052006
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
258*2003
Refined criteria for gradual typing
JG Siek, MM Vitousek, M Cimini, JT Boyland
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
2312015
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
1822014
Blame for all
A Ahmed, RB Findler, JG Siek, P Wadler
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
1822011
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
1721998
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
1542010
Gradual typing with unification-based inference
JG Siek, M Vachharajani
Proceedings of the 2008 symposium on Dynamic languages, 1-12, 2008
1282008
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
1092007
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
882015
Exploring the design space of higher-order casts
J Siek, R Garcia, W Taha
Programming Languages and Systems: 18th European Symposium on Programming …, 2009
882009
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
832010
The gradualizer: a methodology and algorithm for generating gradual type systems
M Cimini, JG Siek
ACM SIGPLAN Notices 51 (1), 443-455, 2016
812016
Big types in little runtime: Open-world soundness and collaborative blame for gradual type systems
MM Vitousek, C Swords, JG Siek
ACM SIGPLAN Notices 52 (1), 762-774, 2017
802017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20