智慧物流 plt 返回
项目作者： manelli

项目描述 ：
Programming language theory resources
高级语言：
项目地址: git://github.com/manelli/plt.git
创建时间： 2016-09-27T16:51:08Z
项目社区：https://github.com/manelli/plt
开源协议：
下载


hopl1_1649840081316.pdf
hopl2_1649840088929.pdf
hopl3_1649840092392.pdf
hopl4_1649840093205.pdf
an_axiomatic_basis_for_computer_programming_1649840094280.pdf
fundamental_concepts_in_programming_languages_1649840094569.pdf
growing_a_language_1649840094736.pdf
hints_on_programming_language_design_1649840095072.pdf
monads_for_functional_programming_1649840095203.pdf
notation_as_a_tool_of_thought_1649840095937.pdf
on_understanding_types_data_abstraction_and_polymorphism_1649840096295.pdf
out_of_the_tar_pit_1649840096456.pdf
programming_with_abstract_data_types_1649840097289.pdf
recursive_functions_of_symbolic_expressions_and_their_computation_by_machine_1649840097429.pdf
the_emperors_old_clothes_1649840097955.pdf
the_essence_of_functional_programming_1649840098215.pdf
the_next_700_programming_languages_1649840098888.pdf
the_roots_of_lisp_1649840099446.pdf
why_functional_programming_matters_1649840100059.pdf