About burakemir

Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently Rust.

Follow the @datalog group!

#datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems

Lists

Timeline

burakemir has no activity yet