Æȷοì
Martin Odersky
Martin Odersky
epfl.chÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Programming in scala
M Odersky, L Spoon, B Venners
Artima Inc, 2008
10412008
An overview of the Scala programming language
M Odersky, P Altherr, V Cremet, B Emir, S Maneth, S Micheloud, ...
8742004
Making the future safe for the past: Adding genericity to the Java programming language
G Bracha, M Odersky, D Stoutamire, P Wadler
Acm sigplan notices 33 (10), 183-200, 1998
7951998
Pizza into Java: Translating theory into practice
M Odersky, P Wadler
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of ¡¦, 1997
6871997
A call-by-need lambda calculus
ZM Ariola, J Maraist, M Odersky, M Felleisen, P Wadler
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of ¡¦, 1995
5001995
Scala actors: Unifying thread-based and event-based programming
P Haller, M Odersky
Theoretical computer science 410 (2-3), 202-220, 2009
4912009
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs
T Rompf, M Odersky
Proceedings of the ninth international conference on Generative programming ¡¦, 2010
3922010
Scalable component abstractions
M Odersky, M Zenger
Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented ¡¦, 2005
3362005
Type inference with constrained types
M Odersky, M Sulzmann, M Wehr
Theory and practice of object systems 5 (1), 35-55, 1999
3141999
OptiML: an implicitly parallel domain-specific language for machine learning
A Sujeeth, HJ Lee, K Brown, T Rompf, H Chafi, M Wu, A Atreya, ...
Proceedings of the 28th International Conference on Machine Learning (ICML ¡¦, 2011
2982011
A heterogeneous parallel framework for domain-specific languages
KJ Brown, AK Sujeeth, HJ Lee, T Rompf, H Chafi, M Odersky, K Olukotun
2011 International Conference on Parallel Architectures and Compilation ¡¦, 2011
2692011
Delite: A compiler architecture for performance-oriented embedded domain-specific languages
AK Sujeeth, KJ Brown, H Lee, T Rompf, H Chafi, M Odersky, K Olukotun
ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 1-25, 2014
2552014
A nominal theory of objects with dependent types
M Odersky, V Cremet, C Röckl, M Zenger
ECOOP 2003–Object-Oriented Programming: 17th European Conference, Darmstadt ¡¦, 2003
2312003
The Scala language specification
M Odersky, P Altherr, V Cremet, B Emir, S Micheloud, N Mihaylov, ...
2262004
Building visual language parsers
R Helm, K Marruitt, M Odersky
Proceedings of the SIGCHI conference on Human factors in computing systems ¡¦, 1991
2101991
Putting type annotations to work
M Odersky, K Läufer
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of ¡¦, 1996
2071996
A statically safe alternative to virtual types
KB Bruce, M Odersky, P Wadler
ECOOP¡¯98—Object-Oriented Programming: 12th European Conference Brussels ¡¦, 1998
1981998
Independently extensible solutions to the expression problem
M Zenger, M Odersky
1952004
The call-by-need lambda calculus
J Maraist, M Odersky, P Wadler
Journal of functional programming 8 (3), 275-317, 1998
1851998
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs
T Rompf, M Odersky
Communications of the ACM 55 (6), 121-130, 2012
1782012
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20