Personensuche
X
?
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation ,
1
An Intrinsically Typed Compiler for Algebraic Effect Handle..:
, In:
?
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming ,
2
Typed Equivalence of Labeled Effect Handlers and Labeled De..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
3
Compilation Semantics for a Programming Language with Versi..:
, In:
?
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1 ,
4
Mind the Error Message: An Inverted Quiz Format to Direct L..:
, In:
?
Proceedings of the 1st ACM International Workshop on Future Debugging Techniques ,
8
Program State Visualizer with User-Defined Representation C..:
, In:
?
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering ,
9
BatakJava: An Object-Oriented Programming Language with Ver..:
, In:
?
Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E ,
11
Mio: A Block-Based Environment for Program Design:
, In:
?
Lecture Notes in Computer Science; Trends in Functional Programming ,
12
Towards Efficient Adjustment of Effect Rows:
, In:
?
Lecture Notes in Computer Science; Trends in Functional Programming ,
13
Sound and Complete Type Inference for Closed Effect Rows:
, In:
?
Proceedings of the 6th International Conference on the Art, Science, and Engineering of Programming ,
14
CodeMap: A Graphical Note-Taking Tool Cooperating with an I..:
, In:
?
COP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP) ,
15