The following pages link to Joe Stoy
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Tony Hoare (links | edit)
- Haskell Curry (links | edit)
- Denotational semantics (links | edit)
- Andrew D. Gordon (links | edit)
- HaXml (links | edit)
- Curry (programming language) (links | edit)
- Stack (Haskell) (links | edit)
- Paradox (theorem prover) (links | edit)
- Template Haskell (links | edit)
- Hugs (interpreter) (links | edit)
- Glasgow Haskell Compiler (links | edit)
- Fudgets (links | edit)
- Pugs (compiler) (links | edit)
- Audrey Tang (links | edit)
- Lennart Augustsson (links | edit)
- Darcs (links | edit)
- BCS-FACS (links | edit)
- Power domains (links | edit)
- Philip Wadler (links | edit)
- Simon Peyton Jones (links | edit)
- Richard Bird (computer scientist) (links | edit)
- Denotational semantics of the Actor model (links | edit)
- Concurrent Haskell (links | edit)
- Erik Meijer (computer scientist) (links | edit)
- Agda (programming language) (links | edit)
- Cabal (software) (links | edit)
- Bluespec (links | edit)
- Hume (programming language) (links | edit)
- WxHaskell (links | edit)
- House (operating system) (links | edit)
- Gofer (programming language) (links | edit)
- QuickCheck (links | edit)
- John Hughes (computer scientist) (links | edit)
- Yhc (links | edit)
- Haddock (software) (links | edit)
- Xmonad (links | edit)
- LOLITA (links | edit)
- David Roundy (links | edit)
- Arvind (computer scientist) (links | edit)
- List of people from the University of Oxford in academic disciplines (links | edit)
- Orwell (programming language) (links | edit)
- Ωmega (links | edit)
- Cryptol (links | edit)
- Atom (programming language) (links | edit)
- Haskell Platform (links | edit)
- Haskell features (links | edit)
- Haskell (links | edit)
- Joseph E. Stoy (redirect page) (links | edit)
- Joseph Stoy (redirect page) (links | edit)
- Jeremy Gibbons (links | edit)