Search for persons
X
?
Proceedings of the XXVII Brazilian Symposium on Programming Languages ,
1
A Verified Operational Semantics for Regular Expression Par..:
, In:
?
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing ,
2
Type-based Termination Analysis for Parsing Expression Gram..:
, In:
?
Proceedings of the XXVII Brazilian Symposium on Programming Languages ,
3
A Haskell Library for Adaptable Parsing Expression Grammars:
, In:
?
Proceedings of the 15th ACM SIGPLAN International Haskell Symposium ,
4
Open transactional actions: interacting with non-transactio..:
, In:
?
Proceedings of the XXVI Brazilian Symposium on Programming Languages ,
5
A Type-Directed Algorithm to Generate Random Well-Formed Pa..:
, In:
?
25th Brazilian Symposium on Programming Languages ,
6
Synthesis of Random Real-World Java Programs from Preexisti..:
, In:
?
Proceedings of the XXIII Brazilian Symposium on Programming Languages ,
9
An Inherently-Typed Formalization for Featherweight Java:
, In:
?
Lecture Notes in Computer Science; Formal Methods: Foundations and Applications ,
10
A Type-Directed Algorithm to Generate Well-Typed Featherwei..:
, In:
?
2018 Symposium on High Performance Computing Systems (WSCAD) ,
11
Transactional Boosting on Glasgow Haskell Compiler:
, In:
?
Proceedings of the XXII Brazilian Symposium on Programming Languages ,
13