The following pages link to Jeremy Gibbons
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Philip Woodward (links | edit)
- Xmonad (links | edit)
- Journal of Functional Programming (links | edit)
- LOLITA (links | edit)
- ALGOL 68RS (links | edit)
- Willem van der Poel (links | edit)
- David Roundy (links | edit)
- Arvind (computer scientist) (links | edit)
- Jørn Jensen (links | edit)
- Orwell (programming language) (links | edit)
- Micha Sharir (links | edit)
- Michael Guy (links | edit)
- Ωmega (links | edit)
- Charles H. Lindsey (links | edit)
- Klaus Samelson (links | edit)
- ELLA (programming language) (links | edit)
- List of programming language researchers (links | edit)
- Cryptol (links | edit)
- Calkin–Wilf tree (links | edit)
- Atom (programming language) (links | edit)
- Haskell Platform (links | edit)
- Haskell features (links | edit)
- Roland Carl Backhouse (links | edit)
- Maurice Nivat (links | edit)
- Haskell (links | edit)
- Carroll Morgan (computer scientist) (links | edit)
- RTL/2 (links | edit)
- DG/L (links | edit)
- Heinz Rutishauser (links | edit)
- Paul Hudak (links | edit)
- Eiiti Wada (links | edit)
- PS-algol (links | edit)
- Robert Dewar (links | edit)
- IFIP Working Group 2.1 (links | edit)
- Ganeti (links | edit)
- Conor McBride (links | edit)
- Yesod (web framework) (links | edit)
- Elm (programming language) (links | edit)
- Real World Haskell (links | edit)
- Idris (programming language) (links | edit)
- Charles Katz (links | edit)
- Michel Sintzoff (links | edit)
- Snap (web framework) (links | edit)
- Pandoc (links | edit)
- Parsec (parser) (links | edit)
- Ur (programming language) (links | edit)
- Git-annex (links | edit)
- TidalCycles (links | edit)
- SQream DB (links | edit)
- Simon Marlow (links | edit)