P
At a glance
Research interests
Functional programming languages and operational semantics Dependent types and their use in proof assistants for verified computations
About
Biography
Prabhakar Ragde is Professor Emeritus at the University of Waterloo, affiliated with Computer Science. This summary considered 2 collected sources. Listed research or teaching areas include Functional programming languages and operational semantics Dependent types and their use in proof assistants for verified computations.