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
1761996
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
1351994
Polymorphic Type Inference and Abstract Data Types
K Läufer
New York University, 1992
1351992
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
722000
Type classes with existential types
K Läufer
Journal of Functional Programming 6 (3), 485-518, 1996
601996
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
561992
Safe structural conformance for Java
K Läufer, G Baumgartner, VF Russo
The Computer Journal 43 (6), 469-481, 2000
542000
A Framework for Higher-Order Functions in C++
K Laufer
541995
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
53*1996
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
Essential tools: Version control systems
K Hinsen, K Läufer, GK Thiruvathukal
Computing in science & engineering 11 (6), 84-91, 2009
312009
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
312002
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
A hike through post-EJB J2EE web application architecture
K Läufer
Computing in Science & Engineering 7 (5), 80-88, 2005
232005
Plone and content management
GK Thiruvathukal, K Läufer
Computing in Science & Engineering 6 (4), 88-95, 2004
212004
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
181998
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
18*1998
Virtualization for Computational Scientists
GK Thiruvathukal, K Hinsen, K Läufer, J Kaylor
Computing in Science & Engineering 12 (4), 52-61, 2010
152010
Combining type classes and existential types
K Läufer
Proceedings of the Latin American Informatic Conference (PANEL), 1994
151994
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