?
Proceedings of the 34th Symposium on Implementation and Application of Functional Languages ,
2
A Structure Editor with Type-Safe Copy/Paste:
, In:
?
Communications in Computer and Information Science; Information Systems Security and Privacy ,
3
Key Agreement in the Lightning Network Protocol:
, In:
?
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ,
4
A type-safe structure editor calculus:
, In:
?
Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ,
5
Behavioural separation with parallel usages:
, In:
?
2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ,
6
An Editor Calculus With Undo/Redo:
, In:
?
Emerging Technologies for Education; Lecture Notes in Computer Science ,
7
A Web-Based Platform for Building PBL Competences Among Stu..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
8
Behavioural Types for Memory and Method Safety in a Core Ob..:
, In:
?
Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control ,
10
Locations and session types in a language with higher-order..:
, In:
?
Lecture Notes in Computer Science; Collaboration and Technology ,
11