Personensuche
X
?
Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity ,
2
A formalisation of LEGv8 in Agda:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
3
Formalization of Forcing in Isabelle/ZF:
, In:
?
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming ,
7
An Internalist Approach to Correct-by-Construction Compiler:
, In:
?
Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages ,
8
Biorthogonality for a Lazy language:
, In:
?
Proceedings of the 21st Brazilian Symposium on Programming Languages ,
9