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 / dex-lang Goto Github PK
View Code? Open in Web Editor NEWThis project forked from google-research/dex-lang
Research language for array processing in the Haskell/ML family
License: BSD 3-Clause "New" or "Revised" License