1
Pubblicazione 2007
Sommario: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Testo
Elettronico eBook
2
Pubblicazione 2006
Sommario: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
Testo
Elettronico eBook
3
Pubblicazione 2005
Sommario: ... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...
Testo
Elettronico eBook
4
Pubblicazione 2010
Soggetti: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Testo
Elettronico eBook
5
Pubblicazione 2012
Sommario: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Testo
Elettronico eBook
6
Pubblicazione 2008
Sommario: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Testo
Elettronico eBook
7
Pubblicazione 2011
Soggetti: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Testo
Elettronico eBook
8
Pubblicazione 2013
Sommario: ... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...
Testo
Elettronico eBook
9
Pubblicazione 2011
Soggetti: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Testo
Elettronico eBook
10
Pubblicazione 2005
Sommario: ... Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled...
Testo
Elettronico eBook
11
Pubblicazione 2011
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
12
Sommario: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
Testo
Elettronico eBook
13
Pubblicazione 2010
Sommario: ... Analysis with an Application to Partial Evaluation -- New Results on Type Systems for Functional Logic...
Testo
Elettronico eBook
14
Pubblicazione 2011
Soggetti: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Testo
Elettronico eBook
15
Pubblicazione 2011
Soggetti: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Testo
Elettronico eBook
16
Pubblicazione 2013
Sommario: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Testo
Elettronico eBook
17
di Kilicman, Adem, Saleh, Wedad
Pubblicazione 2018
... functions are presented. Examples of applications of these inequalities are shown....
Testo
Articolo
18
Pubblicazione 2005
Sommario: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
Testo
Elettronico eBook
19
Sommario: ...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...
Testo
Elettronico eBook
20
di Mukherjee, Sudipta., Mukherjee, Sudipta.
Pubblicazione 2014
Soggetti: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Testo
Elettronico eBook