Search for persons
X
?
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion ,
6
McLAB : enabling programming language, compiler and soft..:
, In:
?
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming ,
9
Shrink fast correctly!:
, In:
?
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice ,
10
Automatically Deriving Schematic Theorems for Dynamic Conte..:
, In:
?
Proceedings of the Third C* Conference on Computer Science and Software Engineering ,
11