00924cam a2200265 i 4500 20449216 20250812163352.0 180413t20182018maua 001 0 eng 9780262536431 (pbk.) 20449216 DLC eng Krea rda DLC 005.1015113 FRI Friedman, Daniel P., Little typer / Daniel P. Friedman and David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride. The Little typer Cambridge : The MIT Press, 2018. xiii, 403 pages : illustrations : 23 cm. Functional programming (Computer science) Logic programming. Computer logic. Type theory. Christiansen, David Thrane, author. ddc BK 123300 123300 0 0 ddc 0 0 SIAS SRICITYLIB SRICITYLIB 2025-08-12 Technical Bureau - TB1238 4850.00 1 2 005.1015113 FRI K18344 2025-11-13 10:15:09 2025-10-09 2025-08-12 BK