Thompson, S. (1991). Type theory and functional programming. Addison-Wesley.
Citación estilo ChicagoThompson, Simon. Type Theory and Functional Programming. Wokingham, England: Addison-Wesley, 1991.
Cita MLAThompson, Simon. Type Theory and Functional Programming. Wokingham, England: Addison-Wesley, 1991.
Precaución: Estas citas no son 100% exactas.
