1
Wydane 2010
Spis treści: ... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2008
Spis treści: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2010
Spis treści: ... Quality Assurance -- Similar Code Detection and Elimination for Erlang Programs -- Static Detection...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Spis treści: ...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2015
Spis treści: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2014
Spis treści: ...Introduction to Track on Engineering Virtualized Services -- Erlang-Style Error Recovery...
Dokumenty pełnotekstowe
Elektroniczne E-book