E-LIB Suche - Ergebnisse für: Wehr, Stefan

1

A type-directed, dictionary-passing translation of method o..:

SULZMANN, MARTIN ; WEHR, STEFAN
Journal of Functional Programming. 33 (2023) - p. , 2023

Link: https://doi.org/10.1017/..

2

A Software Architecture Based on Coarse-Grained Self-Adjust..:

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

Wehr, Stefan - p. 1-10 , 2023

Link: https://dl.acm.org/doi/1..

3

Set-theoretic Types for Erlang:

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

Schimpf, Albert ; Wehr, Stefan ; Bieniusa, Annette - p. 1-14 , 2022

Link: https://dl.acm.org/doi/1..

4

Semantic Preservation for a Type Directed Translation Schem..:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,

Sulzmann, Martin ; Wehr, Stefan - p. 178-197 , 2022

Link: https://doi.org/10.1007/..

5

A Dictionary-Passing Translation of Featherweight Go:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Sulzmann, Martin ; Wehr, Stefan - p. 102-120 , 2021

Link: https://doi.org/10.1007/..

6

The interaction of contracts and laziness:

, In: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation,

Degen, Markus ; Thiemann, Peter ; Wehr, Stefan - p. 97-106 , 2012

Link: https://dl.acm.org/doi/1..

7

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

Wehr, Stefan ; Thiemann, Peter
ACM Transactions on Programming Languages and Systems (TOPLAS). 33 (2011) 4 - p. 1-83 , 2011

Link: https://dl.acm.org/doi/1..

8

On the Decidability of Subtyping with Bounded Existential T..:

Wehr, Stefan ; Thiemann, Peter
New Generation Computing. 29 (2011) 1 - p. 87-124 , 2011

Link: https://doi.org/10.1007/..

9

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

Wehr, Stefan ; Thiemann, Peter
ACM Transactions on Programming Languages and Systems. 33 (2011) 4 - p. 1-83 , 2011

Link: https://doi.org/10.1145/..

10

Eager and delayed contract monitoring for call-by-value and..:

Degen, Markus ; Thiemann, Peter ; Wehr, Stefan
The Journal of Logic and Algebraic Programming. 79 (2010) 7 - p. 515-549 , 2010

Link: https://doi.org/10.1016/..

11

JavaGI in the battlefield: practical experience with genera..:

Wehr, Stefan ; Thiemann, Peter
ACM SIGPLAN Notices. 45 (2009) 2 - p. 65-74 , 2009

Link: https://doi.org/10.1145/..

12

JavaGI in the battlefield : practical experience with ge..:

, In: Proceedings of the eighth international conference on Generative programming and component engineering,

Wehr, Stefan ; Thiemann, Peter - p. 65-74 , 2009

Link: https://dl.acm.org/doi/1..

13

Htdp and dmda in the battlefield : a case study in first..:

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

Bieniusa, Annette ; Degen, Markus ; Heidegger, Phillip... - p. 1-12 , 2008

Link: https://dl.acm.org/doi/1..

14

JavaGI : generalized interfaces for java:

, In: Proceedings of the 21st European conference on Object-Oriented Programming,

Wehr, Stefan ; Lämmel, Ralf ; Thiemann, Peter - p. 347-372 , 2007

Link: https://dl.acm.org/doi/1..

15

Tracking linear and affine resources with JAVA(X):

, In: Proceedings of the 21st European conference on Object-Oriented Programming,

Degen, Markus ; Thiemann, Peter ; Wehr, Stefan - p. 550-574 , 2007

Link: https://dl.acm.org/doi/1..