Search for persons
X
?
Theoretical Aspects of Computing – ICTAC 2023; Lecture Notes in Computer Science ,
2
Interactive Matching Logic Proofs in Coq:
, In:
?
Proceedings of the 35th Symposium on Implementation and Application of Functional Languages ,
3
A frame stack semantics for sequential Core Erlang:
, In:
?
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang ,
4
Machine-checked natural semantics for Core Erlang: exceptio..:
, In:
?
Lecture Notes in Computer Science; Trends in Functional Programming ,
5
A Proof Assistant Based Formalisation of a Subset of Sequen..:
, In:
?
Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages ,
6
Validating Formal Semantics by Property-Based Cross-Testing:
, In:
?
2020 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN) ,
7
The Price for Asynchronous Execution of Extern Functions in..:
, In:
?
Proceedings of the 2016 ACM SIGCOMM Conference ,
8
High speed packet forwarding compiled from protocol indepen..:
, In:
?
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang ,
9
Discovering parallel pattern candidates in Erlang:
, In:
?
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang ,
10