Personensuche
X
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
4
Paxos Consensus, Deconstructed and Abstracted:
, In:
?
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation ,
7
Deriving interpretations of the gradually-typed lambda calc..:
, In:
?
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming ,
8
Deriving the full-reducing Krivine machine from the small-s..:
, In:
?
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation ,
10