在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
function functional » functions functional, fractional functional, nutrition functional
programs computer » programming computer, forms computer
functional https » functions https, function https, functional hop
computer https » computers https, computing https, computer arts
https function » its function, sites function, ups function
function functional » functions functional, fractional functional, nutrition functional
programs computer » programming computer, forms computer
functional https » functions https, function https, functional hop
computer https » computers https, computing https, computer arts
https function » its function, sites function, ups function
1
2
3
出版 2015
書本目錄:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”獲取全文
電子
電子書
4
出版 2008
書本目錄:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”獲取全文
電子
電子書
5
出版 2006
書本目錄:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”獲取全文
電子
電子書
6
7
出版 2010
書本目錄:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”獲取全文
電子
電子書
8
9
10
出版 2013
書本目錄:
“...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”獲取全文
電子
電子書
11
12
13
14
出版 2010
書本目錄:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”獲取全文
電子
電子書
15
出版 2005
書本目錄:
“... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...”獲取全文
電子
電子書
16
17
出版 2008
書本目錄:
“... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...”獲取全文
電子
電子書
18
Full text available from Advanced Technologies & Aerospace Database: 01/01/2001 to 1 year ago
Full text available from Computer Science Database: 01/01/2001 to 1 year ago
電子
雜誌
19
出版 2015
書本目錄:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”獲取全文
電子
電子書
20