A Lightweight Approach to Datatype−generic Rewriting

A Lightweight Approach to Datatype−generic Rewriting

Hiển thị phiên bản (1) khác
Chi tiết về thư mục
Những tác giả chính: van Noort, T, Yakushev, A, Holdermans, S, Jeuring, J, Heeren, B, aes, J
Định dạng: Report
Được phát hành: Department of Information and Computing Sciences‚ Utrecht University 2010
Miêu tả
Tóm tắt:

Những quyển sách tương tự