Registered user since Wed 14 Sep 2016

Name: Ondřej Lhoták

Affiliation: University of Waterloo

Personal website: http://plg.uwaterloo.ca/~olhotak/

PLDI 2016 Activities

• Author of From Datalog to Flix: A Declarative Language for Fixed Points on Lattices within the Research Papers-track in PLDI 2016
• Show activities from other conferences