登入選單

返回Google圖書搜尋

Schema-guided Inductive Functional Programming Through Automatic Detection of Type Morphisms

Martin Hofmann

出版	2010
URL	http://books.google.com.hk/books?id=yD-ZnQEACAAJ&hl=&source=gbs_api