APA Style

Harper, R. (). Type Systems for Programming Languages1 . : .

MLA Style

Harper, Robert. "Type Systems for Programming Languages1". : , . Information Technology.