A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming· Tập 4 Số 2 ·Trang 127-206·1994Kim B. Bruce 143 Đi đến bài báo Trích dẫn Lưu lại
Simple type-theoretic foundations for object-oriented programmingJournal of Functional Programming· Tập 4 Số 2 ·Trang 207-247·1994Benjamin C. Pierce, David N. Turner 172 Đi đến bài báo Trích dẫn Lưu lại
A unifying type-theoretic framework for objectsJournal of Functional Programming· Tập 5 Số 4 ·Trang 593-635·1995Martin Hofmann, Benjamin C. Pierce 38 Đi đến bài báo Trích dẫn Lưu lại
Retrieving reusable software components by polymorphic typeJournal of Functional Programming· Tập 1 Số 2 ·Trang 191-211·1991Colin Runciman, Ian Toyn 35 Đi đến bài báo Trích dẫn Lưu lại
Deciding type isomorphisms in a type-assignment frameworkJournal of Functional Programming· Tập 3 Số 4 ·Trang 485-525·1993Roberto Di Cosmo 23 Đi đến bài báo Trích dẫn Lưu lại
Using types as search keys in function librariesJournal of Functional Programming· Tập 1 Số 1 ·Trang 71-89·1991Mikael Rittri 80 Đi đến bài báo Trích dẫn Lưu lại
FUNCTIONAL PEARL Linear lambda calculus and PTIME-completenessJournal of Functional Programming· Tập 14 Số 6 ·Trang 623-633·2004Harry G. Mairson 33 Đi đến bài báo Trích dẫn Lưu lại
The bologna optimal higher-order machineJournal of Functional Programming· Tập 6 Số 6 ·Trang 763-810·1996Andrea Asperti, Cecilia Giovannetti, Andrea Naletto 44 Đi đến bài báo Trích dẫn Lưu lại