My name is Younesse Kaddar. I'm a theoretical computer science PhD student at the University of Oxford, working on programming language semantics, Bayesian probabilistic programming, and category theory. Welcome to my GitHub profile!
youqad / compiling-to-categories_automatic_differentiation_project Goto Github PK
View Code? Open in Web Editor NEW"Compiling simply typed λ-calculus to Categories: Automatic Differentiation" functional programming MPRI project (teachers: Yann Régis-Gianas, François Pottier, Pierre-Évariste Dagand and Didier Rémy)
Home Page: https://younesse.net/Functional-programming/FunProg_Project/
License: Apache License 2.0