Personensuche
X
?
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming ,
1
Speculations : providing fault-tolerance and improving p..:
, In:
?
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming ,
2
Mechanized meta-reasoning using a hybrid HOAS/de bruijn rep..:
, In:
?
Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding ,
3
A computational approach to reflective meta-reasoning about..:
, In:
?
Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding ,
4
Compiler implementation in a formal logical framework:
, In:
?
Proceedings of the seventeenth ACM symposium on Operating systems principles ,
5
Building reliable, high-performance communication systems f..:
, In:
?
Automated Deduction—CADE-14; Lecture Notes in Computer Science ,
6