The following pages link to Jeremy Gibbons
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Corecursion (links | edit)
- Pugs (compiler) (links | edit)
- Brian Randell (links | edit)
- Audrey Tang (links | edit)
- SMALL (links | edit)
- ALGOL 68C (links | edit)
- Lennart Augustsson (links | edit)
- Function composition (computer science) (links | edit)
- SMIL (computer) (links | edit)
- Darcs (links | edit)
- Department of Computer Science, University of Oxford (links | edit)
- Joe Stoy (links | edit)
- Jensen's device (links | edit)
- DASK (links | edit)
- Friedrich L. Bauer (links | edit)
- Eric Hehner (links | edit)
- John C. Reynolds (links | edit)
- Philip Wadler (links | edit)
- Elliott Brothers (computer company) (links | edit)
- List of Christians in science and technology (links | edit)
- John E. L. Peck (links | edit)
- Barry J. Mailloux (links | edit)
- Cornelis H. A. Koster (links | edit)
- Simon Peyton Jones (links | edit)
- Richard Bird (computer scientist) (links | edit)
- Concurrent Haskell (links | edit)
- Erik Meijer (computer scientist) (links | edit)
- Agda (programming language) (links | edit)
- Bird–Meertens formalism (links | edit)
- S-algol (links | edit)
- Ron Morrison (links | edit)
- ALCOR (links | edit)
- Lambert Meertens (links | edit)
- Cabal (software) (links | edit)
- Tom Maibaum (links | edit)
- Napier88 (links | edit)
- Bluespec (links | edit)
- List of University of Edinburgh people (links | edit)
- Hume (programming language) (links | edit)
- NEWP (links | edit)
- WxHaskell (links | edit)
- House (operating system) (links | edit)
- David Gries (links | edit)
- ALGOL 68-R (links | edit)
- Gofer (programming language) (links | edit)
- QuickCheck (links | edit)
- Douglas T. Ross (links | edit)
- John Hughes (computer scientist) (links | edit)
- Yhc (links | edit)
- Haddock (software) (links | edit)