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.
Functional Programming Languages and Computer Architecture [[electronic resource] ] : 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings / / edited by John Hughes
| Functional Programming Languages and Computer Architecture [[electronic resource] ] : 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings / / edited by John Hughes |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (VIII, 672 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Microprocessors Computer programming Computer logic Computer System Implementation Programming Languages, Compilers, Interpreters Processor Architectures Programming Techniques Logics and Meanings of Programs |
| ISBN | 3-540-47599-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Type classes and overloading resolution via order-sorted unification -- On the complexity of ML typability with overloading -- Coercive type isomorphism -- Compiler-controlled multithreading for lenient parallel languages -- Multi-thread code generation for dataflow architectures from non-strict programs -- GAML: A parallel implementation of lazy ML -- Functional programming with bananas, lenses, envelopes and barbed wire -- A strongly-typed self-applicable partial evaluator -- Automatic online partial evaluation -- Assignments for applicative languages -- Linearity and laziness -- Syntactic detection of single-threading using continuations -- A projection model of types -- What is an efficient implementation of the ?-calculus? -- Outline of a proof theory of parametricity -- Reasoning about simple and exhaustive demand in higher-order lazy languages -- Strictness analysis in logical form -- A note on abstract interpretation of polymorphic functions -- Incremental polymorphism -- Dynamics in ML -- Implementing regular tree expressions -- Efficient type inference for higher-order binding-time analysis -- Finiteness analysis -- For a better support of static data flow -- An architectural technique for cache-level garbage collection -- M-structures: Extending a parallel, non-strict, functional language with state -- List comprehensions in agna, a parallel persistent object system -- Generating efficient code for lazy functional languages -- Making abstract machines less abstract -- Unboxed values as first class citizens in a non-strict functional language. |
| Record Nr. | UNISA-996465290203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trends in Functional Programming [[electronic resource] ] : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / / edited by Viktória Zsók, John Hughes
| Trends in Functional Programming [[electronic resource] ] : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / / edited by Viktória Zsók, John Hughes |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (142 pages) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Artificial intelligence Computer engineering Computer networks Compilers (Computer programs) Programming Techniques Artificial Intelligence Computer Engineering and Networks Compilers and Interpreters |
| ISBN | 3-030-83978-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Nested parallelism, semantics, task-oriented programming -- Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties -- A Generic Back-End for Exploratory Programming -- Dynamic Editors for Well-Typed Expressions -- Modelling, translating, proving functional programs -- High-Level Modelling for Typed Functional Programming -- Translating Lambda Calculus into C++ Templates -- ProofViz: An Interactive Visual Proof Explorer. |
| Record Nr. | UNISA-996464449403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / / edited by Viktória Zsók, John Hughes
| Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / / edited by Viktória Zsók, John Hughes |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (142 pages) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Artificial intelligence Computer engineering Computer networks Compilers (Computer programs) Programming Techniques Artificial Intelligence Computer Engineering and Networks Compilers and Interpreters |
| ISBN | 3-030-83978-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Nested parallelism, semantics, task-oriented programming -- Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties -- A Generic Back-End for Exploratory Programming -- Dynamic Editors for Well-Typed Expressions -- Modelling, translating, proving functional programs -- High-Level Modelling for Typed Functional Programming -- Translating Lambda Calculus into C++ Templates -- ProofViz: An Interactive Visual Proof Explorer. |
| Record Nr. | UNINA-9910495184203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trends in Functional Programming [[electronic resource] ] : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / / edited by Aleksander Byrski, John Hughes
| Trends in Functional Programming [[electronic resource] ] : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / / edited by Aleksander Byrski, John Hughes |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 249 p. 781 illus., 45 illus. in color.) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer engineering Computer networks Microprogramming Application software Artificial intelligence Compilers (Computer programs) Programming Techniques Computer Engineering and Networks Control Structures and Microprogramming Computer and Information Systems Applications Artificial Intelligence Compilers and Interpreters |
| ISBN | 3-030-57761-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. |
| Record Nr. | UNISA-996418289203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trends in Functional Programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / / edited by Aleksander Byrski, John Hughes
| Trends in Functional Programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / / edited by Aleksander Byrski, John Hughes |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 249 p. 781 illus., 45 illus. in color.) |
| Disciplina |
005.114
005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer engineering Computer networks Microprogramming Application software Artificial intelligence Compilers (Computer programs) Programming Techniques Computer Engineering and Networks Control Structures and Microprogramming Computer and Information Systems Applications Artificial Intelligence Compilers and Interpreters |
| ISBN | 3-030-57761-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. |
| Record Nr. | UNINA-9910416081403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trends in Functional Programming [[electronic resource] ] : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers / / edited by David Van Horn, John Hughes
| Trends in Functional Programming [[electronic resource] ] : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers / / edited by David Van Horn, John Hughes |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 193 p. 444 illus., 20 illus. in color.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Compilers (Computer programs) Artificial intelligence Programming Techniques Compilers and Interpreters Artificial Intelligence |
| ISBN | 3-030-14805-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems. |
| Record Nr. | UNISA-996466440603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trends in Functional Programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers / / edited by David Van Horn, John Hughes
| Trends in Functional Programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers / / edited by David Van Horn, John Hughes |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 193 p. 444 illus., 20 illus. in color.) |
| Disciplina | 005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Compilers (Computer programs) Artificial intelligence Programming Techniques Compilers and Interpreters Artificial Intelligence |
| ISBN | 3-030-14805-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems. |
| Record Nr. | UNINA-9910337570503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||