1
Cyhoeddwyd 2012
Pynciau: ...Computer programming....
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2014
Pynciau: ...Computer programming....
Cael y testun llawn
Electronig eLyfr
3
Cyhoeddwyd 2015
Tabl Cynhwysion: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2008
Tabl Cynhwysion: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2011
Pynciau: ...Programming languages (Electronic computers)....
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2010
Tabl Cynhwysion: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2014
Pynciau: ...Programming languages (Electronic computers)....
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2012
Pynciau: ...Programming languages (Electronic computers)....
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2013
Tabl Cynhwysion: ...Various aspects of trends in functional programming -- Combining deep and shallow embedding...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Functional Programs....
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2011
Pynciau: ...Programming languages (Electronic computers)....
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2011
Pynciau: ...Programming languages (Electronic computers)....
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2010
Pynciau: ...Programming languages (Electronic computers)....
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2008
Tabl Cynhwysion: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2015
Tabl Cynhwysion: ...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2012
Pynciau: ...Computer programming....
Cael y testun llawn
Electronig eLyfr
20
gan Horváth, Zoltán., Horváth, Zoltán.
Cyhoeddwyd 2006
Tabl Cynhwysion: ... -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource...
Cael y testun llawn
Electronig eLyfr