Hat mitgewirkt an:
-
Towards a denotational semantics for concurrent state transformers
-
Towards contract modules for the tezos blockchain (short paper)
-
Programming paradigms for the web : web programming and web services ; Dagstuhl seminar 07051, 28.01.2007 - 02.02.2007 ; working group outcomes
-
Global type inference for featherweight generic java