Follow
Konstantin Läufer
Title
Cited by
Cited by
Year
Putting type annotations to work
M Odersky, K Läufer
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996
2051996
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
1541994
Sisl: Several interfaces, single logic
T Ball, C Colby, P Danielsen, LJ Jagadeesan, R Jagadeesan, K Läufer, ...
International Journal of Speech Technology 3, 93-108, 2000
752000
Type classes with existential types
K Läufer
Journal of Functional Programming 6 (3), 485-518, 1996
731996
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
601992
A Framework for Higher-Order Functions in C++
K Laufer
591995
Safe structural conformance for Java
K Läufer, G Baumgartner, VF Russo
The Computer Journal 43 (6), 469-481, 2000
582000
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
561996
Essential tools: Version control systems
K Hinsen, K Läufer, GK Thiruvathukal
Computing in science & engineering 11 (6), 84-91, 2009
342009
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
332002
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
322003
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
242003
Plone and content management
GK Thiruvathukal, K Läufer
Computing in Science & Engineering 6 (4), 88-95, 2004
232004
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
23*1998
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
221998
A hike through post-EJB J2EE web application architecture
K Läufer
Computing in Science & Engineering 7 (5), 80-88, 2005
192005
Virtualization for Computational Scientists
GK Thiruvathukal, K Hinsen, K Läufer, J Kaylor
Computing in Science & Engineering 12 (4), 52-61, 2010
172010
Combining type classes and existential types
K Läufer
Proceedings of the Latin American Informatic Conference (PANEL), 1994
171994
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
162000
Unit testing considered useful
GK Thiruvathukal, K Läufer, B Gonzalez
Computing in Science & Engineering 8 (6), 76-87, 2006
132006
The system can't perform the operation now. Try again later.
Articles 1–20