| Putting type annotations to work M Odersky, K Läufer Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996 | 217 | 1996 |
| Polymorphic type inference and abstract data types K Läufer, M Odersky ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1411-1430, 1994 | 157 | 1994 |
| Type classes with existential types K Läufer Journal of Functional Programming 6 (3), 485-518, 1996 | 74 | 1996 |
| Sisl: Several interfaces, single logic T Ball, C Colby, P Danielsen, LJ Jagadeesan, R Jagadeesan, K Läufer, ... International Journal of Speech Technology 3 (2), 93-108, 2000 | 73 | 2000 |
| An extension of ML with first-class abstract types K Läufer, M Odersky ACM SIGPLAN Workshop on ML and its Applications, 78-91, 1992 | 61 | 1992 |
| On the interaction of object-oriented design patterns and programming languages G Baumgartner, K Läufer, VF Russo Purdue University Department of Computer Science Technical Report, 1996 | 59 | 1996 |
| Safe structural conformance for Java K Läufer, G Baumgartner, VF Russo The Computer Journal 43 (6), 469-481, 2000 | 58 | 2000 |
| A Framework for Higher-Order Functions in C++ K Laufer | 58 | 1995 |
| Essential tools: Version control systems K Hinsen, K Läufer, GK Thiruvathukal Computing in science & engineering 11 (6), 84-91, 2009 | 35 | 2009 |
| Half & Half: Multiple dispatch and retroactive abstraction for Java G Baumgartner, M Jansche, K Läufer Technical Report OSU-CISRC-5/01-TR08, Ohio State University, 2002 | 34 | 2002 |
| Method and apparatus for providing interactive services with multiple interfaces TJ Ball, PJ Danielsen, LJ Jagadeesan, K Läufer, PA Mataga, KG Rehor, ... US Patent 6,529,863, 2003 | 32 | 2003 |
| Plone and content management GK Thiruvathukal, K Läufer Computing in Science & Engineering 6 (4), 88-95, 2004 | 28 | 2004 |
| Method and apparatus for providing interactive services with multiple interfaces TJ Ball, PJ Danielsen, LJ Jagadeesan, K Läufer, PA Mataga, KG Rehor, ... US Patent 6,609,089, 2003 | 24 | 2003 |
| Objects and processes in Triveni: A telecommunication case study in java C Colby, LJ Jagadeesan, R Jagadeesan, K Läufer, C Puchol Proceedings of the 1998 Usenix Conference on Object Oriented Techonologies …, 1998 | 21* | 1998 |
| Virtualization for Computational Scientists GK Thiruvathukal, K Hinsen, K Läufer, J Kaylor Computing in Science & Engineering 12 (4), 52-61, 2010 | 20 | 2010 |
| A hike through post-EJB J2EE web application architecture K Läufer Computing in Science & Engineering 7 (5), 80-88, 2005 | 20 | 2005 |
| Design and implementation of Triveni: a process-algebraic API for threads+ events C Colby, LJ Jagadeesan, R Jagadeesan, K Läufer, C Puchol Computer Languages, 1998. Proceedings. 1998 International Conference on, 58-67, 1998 | 20 | 1998 |
| COMBINING TYPE CLASSES At'fD EXISTENTIAL TYPES K Laufer | 15 | 1994 |
| Automated systematic testing for constraint-based interactive services P Godefroid, LJ Jagadeesan, R Jagadeesan, K Läufer ACM SIGSOFT Software Engineering Notes 25 (6), 40-49, 2000 | 14 | 2000 |
| A stroll through domain-driven development with naked objects K Läufer Computing in Science & Engineering 10 (3), 76-83, 2008 | 13 | 2008 |
George K. Thiruvathukal, PhDProfessor/Chair, Loyola University Chicago; Visiting Computer Scientist, Argonne National LaboratoryVerified email at cs.luc.edu
