Search for persons
X
?
33rd Symposium on Implementation and Application of Functional Languages ,
3
3CPS: The Design of an Environment-Focussed Intermediate Re..:
, In:
?
IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ,
4
A New Backend for Standard ML of New Jersey:
, In:
?
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ,
7
From folklore to fact: comparing implementations of stacks ..:
, In:
?
2019 IEEE Visualization Conference (VIS) ,
8
Point Movement in a DSL for Higher-Order FEM Visualization:
, In:
?
Proceedings of the 31st Symposium on Implementation and Application of Functional Languages ,
9
Shapes and flattening:
, In:
?
Proceedings of the 12th International Workshop on Automation of Software Testing ,
10
DATm : diderot's automated testing model:
, In:
?
11
Practical Aspects of Declarative Languages
18th International Symposium, PADL 2016, St. Petersburg, FL...
Lecture Notes in Computer Science ; 9585;Programming and Software Engineering ; 9585;SpringerLink, Bücher;Springer eBook Collection, Computer Science