Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Engineering & Technology
  2. Computer Science
  3. Functional Programming
Type-Directed Elaboration of Quasiquotations
Type-Directed Elaboration of Quasiquotations
Type-and-Example-Directed Program Synthesis
Type-and-Example-Directed Program Synthesis
Type Fusion - Department of Computer Science
Type Fusion - Department of Computer Science
Type Families and Elaboration
Type Families and Elaboration
Type classes: an exploration of the design space
Type classes: an exploration of the design space
Type Classes as Objects and Implicits
Type Classes as Objects and Implicits
Tu rin g ’s
Tu rin g ’s
TS-DTS-216-12
TS-DTS-216-12
Towards a Primitive Higher Order Calculus of Broadcasting Systems Karol Ostrovsk´y
Towards a Primitive Higher Order Calculus of Broadcasting Systems Karol Ostrovsk´y
Towards a Meaning of LIFE
Towards a Meaning of LIFE
The Introduction to Object
The Introduction to Object
The HPCGAP Project: Delivering Usable Scalable Parallelism to Computational Pure Mathematicians
The HPCGAP Project: Delivering Usable Scalable Parallelism to Computational Pure Mathematicians
HawkinsTom
HawkinsTom
HaskellIntro
HaskellIntro
haskell-clean - Department of Computer Science
haskell-clean - Department of Computer Science
Haskell Kyle Young
Haskell Kyle Young
haskell - Department of Computer Science
haskell - Department of Computer Science
Handlers in Action - Informatics Homepages Server
Handlers in Action - Informatics Homepages Server
HOL1
HOL1
Higher-Order Acausal Models David Broman Peter Fritzson Abstract
Higher-Order Acausal Models David Broman Peter Fritzson Abstract
Joshua Dunfield - UBC Department of Computer Science
Joshua Dunfield - UBC Department of Computer Science
Java to Scala 26-Jul-16
Java to Scala 26-Jul-16
Introduction to Programming in Haskell
Introduction to Programming in Haskell
Introduction to OCaml
Introduction to OCaml