The Continuity of Monadic Stream Functions
The Conception, Evolution, and Application of Functional
The Clean programming language
The 14th ACM SIGPLAN International Conference on Functional
Temporal Logic with “Until”, Functional Reactive Programming with
Untyped Lambda Calculus - Programming Systems Lab
unit 8 - WordPress.com
Unit 11 — Functional Programming with Haskell
Types and Programming Languages
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
