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.
Erlang '10 : proceedings of the 2010 ACM SIGPLAN Erlang Workshop, September 30, 2010, Baltimore, Maryland, USA
| Erlang '10 : proceedings of the 2010 ACM SIGPLAN Erlang Workshop, September 30, 2010, Baltimore, Maryland, USA |
| Autore | Fritchie Scott Lystig |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2010 |
| Descrizione fisica | 1 online resource (86 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Erlang '10 : proceedings of the 2010 Association for Computing Machinery Special Interest Group on Programming Languages Erlang Workshop, September 30, 2010, Baltimore, Maryland, USA
Proceedings of the 9th ACM SIGPLAN Workshop on Erlang ICFP '10 ACM SIGPLAN International Conference on Functional Programming, Baltimore, MD, USA - September 27 - 29, 2010 |
| Record Nr. | UNINA-9910376012703321 |
Fritchie Scott Lystig
|
||
| [Place of publication not identified], : ACM, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Functional and Logic Programming [[electronic resource] ] : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / / edited by Keisuke Nakano, Konstantinos Sagonas
| Functional and Logic Programming [[electronic resource] ] : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / / edited by Keisuke Nakano, Konstantinos Sagonas |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 221 p. 672 illus., 4 illus. in color.) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Artificial intelligence Computer science Machine theory Software Engineering Compilers and Interpreters Programming Techniques Artificial Intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-030-59025-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL -- The Bang Calculus Revisited -- Functional Pearl: The Distributive λ-Calculus -- Polynomial time over the reals with parsimony -- Session Types without Sophistry (System Description) -- Restriction on cut in cyclic proof system for symbolic heaps -- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming -- Declarative Pearl: Deriving Monadic Quicksort -- Language-Integrated Query with Nested Data Structures and Grouping -- An efficient composition of bidirectional programs by memoization and lazy update -- Implementing, and Keeping in Check, a DSL Used in E-Learning -- System Description: Lang-n-Change -- A Tool for Transforming Languages. |
| Record Nr. | UNISA-996418319103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / / edited by Keisuke Nakano, Konstantinos Sagonas
| Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / / edited by Keisuke Nakano, Konstantinos Sagonas |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 221 p. 672 illus., 4 illus. in color.) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Artificial intelligence Computer science Machine theory Software Engineering Compilers and Interpreters Programming Techniques Artificial Intelligence Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-030-59025-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL -- The Bang Calculus Revisited -- Functional Pearl: The Distributive λ-Calculus -- Polynomial time over the reals with parsimony -- Session Types without Sophistry (System Description) -- Restriction on cut in cyclic proof system for symbolic heaps -- On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming -- Declarative Pearl: Deriving Monadic Quicksort -- Language-Integrated Query with Nested Data Structures and Grouping -- An efficient composition of bidirectional programs by memoization and lazy update -- Implementing, and Keeping in Check, a DSL Used in E-Learning -- System Description: Lang-n-Change -- A Tool for Transforming Languages. |
| Record Nr. | UNINA-9910427717803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming
| Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2003 |
| Descrizione fisica | 1 online resource (284 pages) |
| Disciplina | 005.13/1 |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 5th Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Principles and Practice of Declaritive Programming
PPDP '03 5th International Conference on Principles and Practice of Declarative Programming 2003 (co-located with ICFP 2003), Uppsala, Sweden - August 27 - 29, 2003 |
| Record Nr. | UNINA-9910375846503321 |
| [Place of publication not identified], : ACM, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||