Pablo Barenbaum
- A Strong Distillery
2015/09/03 by Beniamino Accattoli, Pablo Barenbaum, Accattoli, Beniamino +3 · 2 citations
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #semigroups and automata theory
- Distilling Abstract Machines (Long Version)
2014/06/09 by Beniamino Accattoli, Pablo Barenbaum, Accattoli, Beniamino +3 · 1 voice
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #cs.PL