Type-level functions for Haskell
Type-indexed data types - School of Computer Science
Type systems for SDN Controllers Marco Gaboardi Michael Greenberg David Walker
type system is a tractable syntactic method for proving the absence
Type Classes in Haskell - Programming Research Laboratory
Type Class
type - ktuce
Two classes of Boolean functions for dependency analysis
Tuples and Lists(3)
Tsinghua Software Day Program
Tree Oriented Programming
Towards CNC Programming Using Haskell
Tools for Refactoring Functional Programs
Title of Presentation
Tim Sweeney talk on Game Programming Languages
