1
出版 2008
書本目錄: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
獲取全文
電子 電子書
2
出版 2005
書本目錄: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
獲取全文
電子 電子書
3
出版 2006
書本目錄: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
獲取全文
電子 電子書
4
出版 2008
書本目錄: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
獲取全文
電子 電子書
5
出版 2013
書本目錄: ... Parsing Using GLL and Tom -- Layout-Sensitive Generalized Parsing -- PAPAGENO: A Parallel Parser Generator...
獲取全文
電子 電子書