Konstantin Läufer

From MaRDI portal
(Redirected from Person:1856262)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
scientific article; zbMATH DE number 2080308 (Why is no real title available?)2004-08-04Paper
Safe structural conformance for Java
The Computer Journal. Section A Section B
2001-07-10Paper
Sisl: Several interfaces, single logic
International Journal of Speech Technology
1999-01-01Paper
Type classes with existential types
Journal of Functional Programming
1996-12-16Paper


Research outcomes over time


This page was built for person: Konstantin Läufer