Pages that link to "Agda (programming language)"
Showing 50 items.
- Chalmers University of Technology (links | edit)
- Functional programming (links | edit)
- Literate programming (links | edit)
- Timeline of programming languages (links | edit)
- Static program analysis (links | edit)
- Side effect (computer science) (links | edit)
- Type theory (links | edit)
- Haskell Curry (links | edit)
- Abstract interpretation (links | edit)
- List of programming languages by type (links | edit)
- List of programming languages (links | edit)
- Generational list of programming languages (links | edit)
- Andrew D. Gordon (links | edit)
- Isabelle (proof assistant) (links | edit)
- Program analysis (links | edit)
- Intuitionistic logic (links | edit)
- Hoare logic (links | edit)
- Chalmers Lindholmen University College (links | edit)
- HaXml (links | edit)
- Curry (programming language) (links | edit)
- Stack (Haskell) (links | edit)
- Model checking (links | edit)
- Intuitionistic type theory (links | edit)
- William Chalmers (merchant) (links | edit)
- Paradox (theorem prover) (links | edit)
- Template Haskell (links | edit)
- Hugs (interpreter) (links | edit)
- Glasgow Haskell Compiler (links | edit)
- Program slicing (links | edit)
- Off-side rule (links | edit)
- First-class citizen (links | edit)
- Chalmers Students' Union (links | edit)
- Fudgets (links | edit)
- Proof assistant (links | edit)
- IT University (links | edit)
- Pugs (compiler) (links | edit)
- Audrey Tang (links | edit)
- Dependence analysis (links | edit)
- Lennart Augustsson (links | edit)
- Epigram (programming language) (links | edit)
- Dependent type (links | edit)
- Darcs (links | edit)
- Joe Stoy (links | edit)
- Ogle DVD Player (links | edit)
- Philip Wadler (links | edit)
- CETAC (links | edit)
- Simon Peyton Jones (links | edit)
- Center for Intellectual Property Studies (links | edit)
- Type class (links | edit)
- Richard Bird (computer scientist) (links | edit)
