1647-2019 - IEEE Standard for the Functional Verification Language e - Redline / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | New York, New York : , : IEEE, , 2019 |
Descrizione fisica | 1 online resource (981 pages) |
Disciplina | 005.114 |
Soggetto topico | Application software - Development |
ISBN | 1-5044-6271-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910389548603321 |
New York, New York : , : IEEE, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
1647-2019 - IEEE Standard for the Functional Verification Language e - Redline / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | New York, New York : , : IEEE, , 2019 |
Descrizione fisica | 1 online resource (981 pages) |
Disciplina | 005.114 |
Soggetto topico | Application software - Development |
ISBN | 1-5044-6271-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996574867003316 |
New York, New York : , : IEEE, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Functional Programming [[electronic resource] ] : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / / edited by Johan Jeuring, Simon Peyton Jones |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 216 p.) |
Disciplina | 005.114 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-44833-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Arithmetic Coding with Folds and Unfolds -- An Approach to Fast Arrays in Haskell -- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat -- Developing Interactive Web Programs -- JoCaml: A Language for Concurrent Distributed and Mobile Programming -- Arrows, Robots, and Functional Reactive Programming -- XQuery: A Typed Functional Language for Querying XML. |
Record Nr. | UNISA-996465606003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures / / edited by Johan Jeuring, Simon Peyton Jones |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 216 p.) |
Disciplina | 005.114 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-44833-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Arithmetic Coding with Folds and Unfolds -- An Approach to Fast Arrays in Haskell -- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat -- Developing Interactive Web Programs -- JoCaml: A Language for Concurrent Distributed and Mobile Programming -- Arrows, Robots, and Functional Reactive Programming -- XQuery: A Typed Functional Language for Querying XML. |
Record Nr. | UNINA-9910144602203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The Beauty of Functional Code [[electronic resource] ] : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / / edited by Peter Achten, Pieter Koopman |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 285 p. 31 illus.) |
Disciplina | 005.114 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) Mathematical logic Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
ISBN | 3-642-40355-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday) -- Verifying Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications -- Clean Up the Web!: (Rapid Client-Side Web Development with Clean) -- A Duality of Sorts -- Programming in the λ-Calculus: From Church to Scott and Back -- Modelling Unique and Affine Typing Using Polymorphism -- Evolution of a Parallel Task Combinator -- Beautiful Workflows: A Matter of Taste? -- Parse Your Options -- The Beauty of Declarative Purely Functional Projections -- Finding Palindromes: Variants and Algorithms -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers. |
Record Nr. | UNISA-996465706103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
The Beauty of Functional Code : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday / / edited by Peter Achten, Pieter Koopman |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 285 p. 31 illus.) |
Disciplina | 005.114 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer programming
Programming languages (Electronic computers) Mathematical logic Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
ISBN | 3-642-40355-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday) -- Verifying Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications -- Clean Up the Web!: (Rapid Client-Side Web Development with Clean) -- A Duality of Sorts -- Programming in the λ-Calculus: From Church to Scott and Back -- Modelling Unique and Affine Typing Using Polymorphism -- Evolution of a Parallel Task Combinator -- Beautiful Workflows: A Matter of Taste? -- Parse Your Options -- The Beauty of Declarative Purely Functional Projections -- Finding Palindromes: Variants and Algorithms -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers. |
Record Nr. | UNINA-9910483842003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Beginning Scala 3 : a functional and object-oriented Java language / / David Pollak, Vishal Layka, Andres Sacco |
Autore | Pollak David |
Edizione | [3rd ed.] |
Pubbl/distr/stampa | New York : , : Apress, , [2022] |
Descrizione fisica | 1 online resource (332 pages) |
Disciplina | 005.114 |
Soggetto topico |
Scala (Computer program language)
Computer programming |
ISBN |
1-5231-5096-3
1-4842-7422-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Getting started with Scala -- 2. Basics of Scala -- 3. Object-oriented Modeling -- 4. Functional Programming -- 5. Pattern Matching -- 6. Scala Collections -- 7. Traits and Enums -- 8. Scala Type System -- 9. Scala and Java Interoperability -- 10. DSL and Parser Combinator -- 11. Simple Build Tool -- 12. Creating Web Applications -- 13. Testing Our Code -- 14. Scala Best Practices. |
Record Nr. | UNINA-9910522951403321 |
Pollak David
![]() |
||
New York : , : Apress, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Building applications with Scala : write modern, scalable, and reactive applications with the power of Scala / / Diego Pacheco |
Autore | Pacheco Diego |
Edizione | [1st edition] |
Pubbl/distr/stampa | Birmingham, England ; ; Mumbai, India : , : Packt Publishing, , 2016 |
Descrizione fisica | 1 online resource (338 pages) |
Disciplina | 005.114 |
Soggetto topico |
Scala (Computer program language)
Application software - Development |
ISBN | 1-78646-168-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910155143803321 |
Pacheco Diego
![]() |
||
Birmingham, England ; ; Mumbai, India : , : Packt Publishing, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
F# for scientists / / Jon Harrop ; foreword by Don Syme |
Autore | Harrop Jon |
Edizione | [1st edition] |
Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2008 |
Descrizione fisica | 1 online resource (370 p.) |
Disciplina |
005.1/14
005.114 005.133 |
Soggetto topico |
F# (Computer program language)
Science - Data processing Functional programming (Computer science) |
Soggetto genere / forma | Electronic books. |
ISBN |
1-118-21081-6
1-281-76688-7 9786611766887 0-470-38595-2 0-470-38594-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction. Programming guidelines -- A brief history of F# -- Benefits of F# -- Introducing F# -- Imperative programming -- Functional programming -- Program structure. Nesting -- Factoring -- Modules. Objects -- Functional design patterns -- F# development -- Data structures. Algorithmic complexity -- Arrays -- Lists -- Sets -- Hash tables -- Maps -- Choosing a data structure -- Sequences -- Heterogeneous containers -- Trees -- Numerical Analysis. Number -- Algebra --Interpolation -- Quadratic solutions -- Mean and variance -- Other forms of arithmetic -- Input and Output. Printing -- Generic printing -- Reading from and writing to files -- Serialization -- Lexing and parsing -- Simple Examples. Functional -- Numerical -- String related -- List related -- Array related -- Higher order functions -- Visualization. Windows forms -- Managed directX -- Tesselating objects into triangles -- Optimization. Timing -- Profiling -- Algorithmic optimizations -- Lower level optimizations -- Libraries. Loading .NET libraries -- Charting and graphing -- Threads -- Random numbers -- Regular expressions -- Vectors and matrices -- Downloading from the Web -- Compression -- Handling XML -- Calling native libraries -- Fourier transform -- Metaprogramming -- Databases. Protein data bank -- Web services -- Relational databases -- Interoperability. Excel interoperability -- MATLAB interoperability -- Mathematica interoperability -- Complete examples. Fast Fourier transform -- Semicircle law -- Finding nth nearest neighbors -- Logistic map -- Real time particle dynamics -- Appendix A: Troubleshooting. |
Record Nr. | UNINA-9910144113203321 |
Harrop Jon
![]() |
||
Hoboken, New Jersey : , : Wiley, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
F# for scientists / / Jon Harrop ; foreword by Don Syme |
Autore | Harrop Jon |
Edizione | [1st edition] |
Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2008 |
Descrizione fisica | 1 online resource (370 p.) |
Disciplina |
005.1/14
005.114 005.133 |
Soggetto topico |
F# (Computer program language)
Science - Data processing Functional programming (Computer science) |
ISBN |
1-118-21081-6
1-281-76688-7 9786611766887 0-470-38595-2 0-470-38594-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction. Programming guidelines -- A brief history of F# -- Benefits of F# -- Introducing F# -- Imperative programming -- Functional programming -- Program structure. Nesting -- Factoring -- Modules. Objects -- Functional design patterns -- F# development -- Data structures. Algorithmic complexity -- Arrays -- Lists -- Sets -- Hash tables -- Maps -- Choosing a data structure -- Sequences -- Heterogeneous containers -- Trees -- Numerical Analysis. Number -- Algebra --Interpolation -- Quadratic solutions -- Mean and variance -- Other forms of arithmetic -- Input and Output. Printing -- Generic printing -- Reading from and writing to files -- Serialization -- Lexing and parsing -- Simple Examples. Functional -- Numerical -- String related -- List related -- Array related -- Higher order functions -- Visualization. Windows forms -- Managed directX -- Tesselating objects into triangles -- Optimization. Timing -- Profiling -- Algorithmic optimizations -- Lower level optimizations -- Libraries. Loading .NET libraries -- Charting and graphing -- Threads -- Random numbers -- Regular expressions -- Vectors and matrices -- Downloading from the Web -- Compression -- Handling XML -- Calling native libraries -- Fourier transform -- Metaprogramming -- Databases. Protein data bank -- Web services -- Relational databases -- Interoperability. Excel interoperability -- MATLAB interoperability -- Mathematica interoperability -- Complete examples. Fast Fourier transform -- Semicircle law -- Finding nth nearest neighbors -- Logistic map -- Real time particle dynamics -- Appendix A: Troubleshooting. |
Record Nr. | UNINA-9910831072703321 |
Harrop Jon
![]() |
||
Hoboken, New Jersey : , : Wiley, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|