wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of EdinburghEdinburgh
Pinned Repositories
plfa.github.io
An introduction to programming language theory in Agda
plfl
Programming Language Foundations in Lean
MiniFeldspar
bnfc-examples
Examples using BNFC-meta
edprelude
edprelude-pages
Pages site for the EdPrelude project.
fp-competition-2021
marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
MiniFeldspar
roberto
Collaboration with Roberto Ierusalimschy
wadler's Repositories
wadler/fp-competition-2021
wadler/edprelude
wadler/bnfc-examples
Examples using BNFC-meta
wadler/roberto
Collaboration with Roberto Ierusalimschy
wadler/edprelude-pages
Pages site for the EdPrelude project.
wadler/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
wadler/MiniFeldspar