6 lines
118 B
Text
6 lines
118 B
Text
---
|
|
name : Philip Wadler
|
|
email : wadler@inf.ed.ac.uk
|
|
corresponding : true
|
|
github : wadler
|
|
---
|