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
1951996
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
1471994
Polymorphic Type Inference and Abstract Data Types
K Läufer
New York University, 1992
1471992
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
732000
Type classes with existential types
K Läufer
Journal of Functional Programming 6 (3), 485-518, 1996
691996
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
581992
Safe structural conformance for Java
K Läufer, G Baumgartner, VF Russo
The Computer Journal 43 (6), 469-481, 2000
572000
A Framework for Higher-Order Functions in C++
K Laufer
561995
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
531996
Essential tools: Version control systems
K Hinsen, K Läufer, GK Thiruvathukal
Computing in science & engineering 11 (6), 84-91, 2009
322009
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
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
322002
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
A hike through post-EJB J2EE web application architecture
K Läufer
Computing in Science & Engineering 7 (5), 80-88, 2005
222005
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
211998
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
19*1998
Combining type classes and existential types
K Läufer
Proceedings of the Latin American Informatic Conference (PANEL), 1994
171994
Virtualization for Computational Scientists
GK Thiruvathukal, K Hinsen, K Läufer, J Kaylor
Computing in Science & Engineering 12 (4), 52-61, 2010
152010
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
152000
The system can't perform the operation now. Try again later.
Articles 1–20