Edinburgh

Philip Wadler

Elite
@wadler

Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

homepages.inf.ed.ac.uk/wadler/

fp-competition-2021.

5

edprelude. Haskell

5

bnfc-examples. Examples using BNFC-meta

3

roberto. Collaboration with Roberto Ierusalimschy

2

marlowe. Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

2

edprelude-pages. Pages site for the EdPrelude project.

1
6
Apply