Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra
| Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVI, 331 p.) |
| Disciplina | 005.1/14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer programming Compilers (Computer programs) Software engineering Algorithms Machine theory Theory of Computation Programming Techniques Compilers and Interpreters Software Engineering Formal Languages and Automata Theory |
| ISBN | 3-642-04652-5 |
| Classificazione |
DAT 544f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System. |
| Record Nr. | UNISA-996465651403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced functional programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008 ; revised lectures / / Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.)
| Advanced functional programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 2008 ; revised lectures / / Pieter Koopman, Rinus Plasmeijer, Doaitse Swierstra (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XVI, 331 p.) |
| Disciplina | 005.1/14 |
| Altri autori (Persone) |
KoopmanPieter
PlasmeijerM. J (Marinus Jacobus) SwierstraS. Doaitse |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Functional programming (Computer science)
Computer programming |
| ISBN | 3-642-04652-5 |
| Classificazione |
DAT 544f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System. |
| Record Nr. | UNINA-9910483763203321 |
| Berlin, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Functional Programming [[electronic resource] ] : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / / edited by Varmo Vene, Tarmo Uustalu
| Advanced Functional Programming [[electronic resource] ] : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures / / edited by Varmo Vene, Tarmo Uustalu |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 005.1/14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Compilers (Computer programs) Programming Techniques Software Engineering Compilers and Interpreters |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring Functional Programs. |
| Record Nr. | UNISA-996465556403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures / / Varmo Vene, Tarmo Uustalu (eds.)
| Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures / / Varmo Vene, Tarmo Uustalu (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 005.1/14 |
| Altri autori (Persone) |
VeneVarmo
UustaluTarmo |
| Collana | Lecture notes in computer science |
| Soggetto topico | Functional programming (Computer science) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Typing Haskell with an Attribute Grammar -- Programming with Arrows -- Epigram: Practical Programming with Dependent Types -- Combining Datatypes and Effects -- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications -- A Functional Shell That Operates on Typed and Compiled Applications -- Declarative Debugging with Buddha -- Server-Side Web Programming in WASH -- Refactoring Functional Programs. |
| Record Nr. | UNINA-9910483483603321 |
| Berlin ; ; New York, : Springer, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Central European Functional Programming School [[electronic resource] ] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / / edited by Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók
| Central European Functional Programming School [[electronic resource] ] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures / / edited by Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 391 p. 44 illus., 10 illus. in color.) |
| Disciplina | 005.1/14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Machine theory Computer networks Software Engineering Compilers and Interpreters Programming Techniques Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Computer Communication Networks |
| ISBN |
1-283-47741-6
9786613477415 3-642-17685-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466022703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Central European Functional Programming School : Third Summer School, CEFP 2009 ; Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures / / Zoltan Horvath, Rinus Plasmeijer, Viktoria Zsok (eds.)
| Central European Functional Programming School : Third Summer School, CEFP 2009 ; Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures / / Zoltan Horvath, Rinus Plasmeijer, Viktoria Zsok (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2010 |
| Descrizione fisica | 1 online resource (IX, 391 p. 44 illus., 10 illus. in color.) |
| Disciplina | 005.1/14 |
| Altri autori (Persone) |
HorvathZoltan <1962->
PlasmeijerM. J (Marinus Jacobus) ZsokViktoria |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Computer science
Functional programming (Computer science) |
| ISBN |
1-283-47741-6
9786613477415 3-642-17685-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | CEFP 2009 |
| Record Nr. | UNINA-9910484626503321 |
| Berlin, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
F# for scientists / / Jon Harrop ; foreword by Don Syme
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
F# for scientists / / Jon Harrop ; foreword by Don Syme
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
F# for scientists / / Jon Harrop ; foreword by Don Syme
| F# for scientists / / Jon Harrop ; foreword by Don Syme |
| Autore | Harrop Jon D |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, N.J., : John Wiley, c2008 |
| Descrizione fisica | 1 online resource (370 p.) |
| Disciplina | 005.1/14 |
| Soggetto topico |
F (Computer program language)
Functional programming (Computer science) Science - Data processing |
| ISBN |
9786611766887
9781118210819 1118210816 9781281766885 1281766887 9780470385951 0470385952 9780470385944 0470385944 |
| 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. |
| Altri titoli varianti | F sharp for scientists |
| Record Nr. | UNINA-9910877855003321 |
|
Harrop Jon D
|
||
| Hoboken, N.J., : John Wiley, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
FDPE '05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia
| FDPE '05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2005 |
| Descrizione fisica | 1 online resource (53 p.;) |
| Disciplina | 005.1/14 |
| Collana | ACM Conferences |
| Soggetto topico |
Functional programming (Computer science)
Declarative programming Engineering & Applied Sciences Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | FDPE '05 |
| Record Nr. | UNINA-9910375928003321 |
| [Place of publication not identified], : Association for Computing Machinery, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
