1
Publicerad 2005
Innehållsförteckning: ... Functional Programs....
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2012
Ämnen: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2008
Innehållsförteckning: ... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2011
Ämnen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2006
Innehållsförteckning: ...-Management System -- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order...
Hämta fulltext
Elektronisk E-bok
7
Publicerad 2014
Ämnen: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Hämta fulltext
Elektronisk E-bok
8
Publicerad 2010
Innehållsförteckning: ... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...
Hämta fulltext
Elektronisk E-bok
9
Publicerad 2010
Ämnen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2008
Innehållsförteckning: ... of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2008
Innehållsförteckning: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2010
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2007
Innehållsförteckning: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2013
Innehållsförteckning: ... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...
Hämta fulltext
Elektronisk E-bok
15
av Hunt, John., Hunt, John.
Publicerad 2014
Innehållsförteckning: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Hämta fulltext
Elektronisk E-bok
16
Ämnen: ...Applications of Mathematics. https://scigraph.springernature.com/ontologies/product-market-codes/M...
Hämta fulltext
Elektronisk E-bok
17
Innehållsförteckning: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Hämta fulltext
Elektronisk E-bok
18
av Li, Xingfeng., Li, Xingfeng.
Publicerad 2014
Innehållsförteckning: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
Hämta fulltext
Elektronisk E-bok
19
Ämnen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Hämta fulltext
Elektronisk E-bok
20
Publicerad 2010
Innehållsförteckning: ... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...
Hämta fulltext
Elektronisk E-bok