Stefan Wehr

J. Funct. Program., 2023

A Software Architecture Based on Coarse-Grained Self-Adjusting Computations.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

2022

A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go.

[BibT_eX]

[DOI]

CoRR, 2022

Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

Set-theoretic Types for Erlang.

[BibT_eX]

[DOI]

Albert Schimpf

Annette Bieniusa

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

2021

A Dictionary-Passing Translation of Featherweight Go.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2012

The interaction of contracts and laziness.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2012

2011

JavaGI: The Interaction of Type Classes with Interfaces and Inheritance.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2011

On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints.

[BibT_eX]

[DOI]

New Gener. Comput., 2011

2010

JavaGI: a language with generalized interfaces.

[BibT_eX]

[DOI]

PhD thesis, 2010

Eager and delayed contract monitoring for call-by-value and call-by-name evaluation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2010

2009

JavaGI in the battlefield: practical experience with generalized interfaces.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2009

True Lies: Lazy Contracts for Lazy Languages.

[BibT_eX]

[DOI]

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

On the Decidability of Subtyping with Bounded Existential Types.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Htdp and dmda in the battlefield: a case study in first-year programming instruction.

[BibT_eX]

[DOI]

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

The Relation of Version Control to Concurrent Programming.

[BibT_eX]

[DOI]

Annette Bieniusa

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

ML Modules and Haskell Type Classes: A Constructive Comparison.

[BibT_eX]

[DOI]

Manuel M. T. Chakravarty

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

Interface Types for Haskell.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

'Shadow BSS' for Blind Source Separation in Rapidly Time-Varying Acoustic Scenes.

[BibT_eX]

[DOI]

Proceedings of the Independent Component Analysis and Signal Separation, 2007

JavaGI : Generalized Interfaces for Java.

[BibT_eX]

[DOI]

Ralf Lämmel

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Tracking Linear and Affine Resources with Java(X).

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Waitomo, eine interface-orientierte Programmiersprache.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2006

2004

Synchronization of acoustic sensors for distributed ad-hoc audio networks and its use for blind source separation.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Symposium on Multimedia Software Engineering, 2004

2003

Universal synchronization scheme for distributed audio-video capture on heterogeneous computing platforms.

[BibT_eX]

[DOI]

Rainer Lienhart

Igor Kozintsev