APA Style

Thompson, S. (). Type Theory & Functional Programming . : .

MLA Style

Thompson, Simon. "Type Theory & Functional Programming". : , . Information Technology.