Programming language researcher with a wide experience in declarative programming languages (constraint, logic and functional programming, production rules).Specialties: programming languages, compilers, declarative programming, logic programming, constraint programming, functional programming, Haskell, Prolog, Constraint Handling Rules, type system expert, abstract interpretation Learn more about Tom Schrijvers's work experience, education, connections & more by visiting their profile on LinkedIn