These pages discuss some programming constructs that are common to many languages:
Advanced Topics in Programming Languages Series: Parametric Polymorphism and the Girard-Reynolds Isomorphism. This talk is based on a series of papers by Philip Wadler, a principal designer of the Haskell programming language. Featured are a number of double-barreled names in computer science:
For Djinn code see here.
|Correspondence about this page|
This site may have errors. Don't use for critical systems.