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.
DTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA
| DTP '13 : proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA |
| Autore | Weirich Stephanie |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (62 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2384-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Dependently-Typed Programming '13 : proceedings of the 2013 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, United States of America
Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming Proceedings of the 2013 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Dependently-Typed Programming |
| Record Nr. | UNINA-9910375711403321 |
Weirich Stephanie
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2nd Acm Sigplan Symposium on Haskell
| Proceedings of the 2nd Acm Sigplan Symposium on Haskell |
| Autore | Weirich Stephanie |
| Pubbl/distr/stampa | [Place of publication not identified], : Association for Computing Machinery, 2009 |
| Descrizione fisica | 1 online resource (148 p.;) |
| Collana | ACM Conferences |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Haskell '09 |
| Record Nr. | UNINA-9910375799203321 |
|
Weirich Stephanie
|
||
| [Place of publication not identified], : Association for Computing Machinery, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Stephanie Weirich
| Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Stephanie Weirich |
| Autore | Weirich Stephanie |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (351 pages) |
| Disciplina | 005.45 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Compilers (Computer programs)
Programming languages (Electronic computers) Compilers and Interpreters Programming Language |
| ISBN | 3-031-57262-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Effects and Modal Types -- Scoped Effects as Parameterized Algebraic Theories -- Intersection Types, Relationally -- Modal Type Theory: Where Meta-programming Meets Intentional Analysis -- Program Synthesis from Graded Types -- Bidirectional Typing and Session Types -- A Formal Treatment of Bidirectional Typing -- Generic bidirectional typing for dependent type theories -- Artifact report: Generic bidirectional typing for dependent type theories -- Deciding Subtyping for Asynchronous Multiparty Sessions -- The Session Abstract Machine -- Dependent Types -- Trocq: Proof Transfer for Free, With or Without Univalence -- Artifact report: Trocq: Proof Transfer for Free, With or Without Univalence -- Observational Equality Meets CIC -- Definitional Functoriality for Dependent (Sub)Types -- Artifact report: Definitional Functoriality for Dependent (Sub)Types. |
| Record Nr. | UNISA-996594169603316 |
|
Weirich Stephanie
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Stephanie Weirich
| Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Stephanie Weirich |
| Autore | Weirich Stephanie |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (351 pages) |
| Disciplina | 005.45 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Compilers (Computer programs)
Programming languages (Electronic computers) Compilers and Interpreters Programming Language |
| ISBN | 3-031-57262-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Effects and Modal Types -- Scoped Effects as Parameterized Algebraic Theories -- Intersection Types, Relationally -- Modal Type Theory: Where Meta-programming Meets Intentional Analysis -- Program Synthesis from Graded Types -- Bidirectional Typing and Session Types -- A Formal Treatment of Bidirectional Typing -- Generic bidirectional typing for dependent type theories -- Artifact report: Generic bidirectional typing for dependent type theories -- Deciding Subtyping for Asynchronous Multiparty Sessions -- The Session Abstract Machine -- Dependent Types -- Trocq: Proof Transfer for Free, With or Without Univalence -- Artifact report: Trocq: Proof Transfer for Free, With or Without Univalence -- Observational Equality Meets CIC -- Definitional Functoriality for Dependent (Sub)Types -- Artifact report: Definitional Functoriality for Dependent (Sub)Types. |
| Record Nr. | UNINA-9910847596103321 |
|
Weirich Stephanie
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Stephanie Weirich
| Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Stephanie Weirich |
| Autore | Weirich Stephanie |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (462 pages) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Compilers (Computer programs) Programming Language Compilers and Interpreters |
| ISBN | 3-031-57267-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quantum Programming / Domain-Specific Languages -- Circuit Width Estimation via Effect Typing and Linear Dependency -- On the Hardness of Analyzing Quantum Programs Quantitatively -- Reconciling Partial and Local Invertibility -- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping -- Verification -- A Denotational Approach to Release/Acquire Concurrency -- Intel PMDK Transactions: Specification, Validation and Concurrency -- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency -- Verifying Persistent Libraries -- Hyperproperty Verification as CHC Satisfiability -- Program Analysis -- Maximal Quantified Precondition Synthesis for Linear Array Loops -- Verified Inlining and Specialisation for PureCake -- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages -- Higher-Order LCTRSs andTheir Termination -- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture -- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation -- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law . |
| Record Nr. | UNINA-9910847392803321 |
|
Weirich Stephanie
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Stephanie Weirich
| Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / / edited by Stephanie Weirich |
| Autore | Weirich Stephanie |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (462 pages) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Compilers (Computer programs) Programming Language Compilers and Interpreters |
| ISBN | 3-031-57267-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quantum Programming / Domain-Specific Languages -- Circuit Width Estimation via Effect Typing and Linear Dependency -- On the Hardness of Analyzing Quantum Programs Quantitatively -- Reconciling Partial and Local Invertibility -- Efficient Matching with Memorization for Regexes with Look-around and Atomic Grouping -- Verification -- A Denotational Approach to Release/Acquire Concurrency -- Intel PMDK Transactions: Specification, Validation and Concurrency -- Artifact report: Intel PMDK Transactions: Specification, Validation and Concurrency -- Verifying Persistent Libraries -- Hyperproperty Verification as CHC Satisfiability -- Program Analysis -- Maximal Quantified Precondition Synthesis for Linear Array Loops -- Verified Inlining and Specialisation for PureCake -- Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages -- Higher-Order LCTRSs andTheir Termination -- Abstract Interpretation A Modular Soundness Theory for the Blackboard Analysis Architecture -- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation -- Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law . |
| Record Nr. | UNISA-996594169503316 |
|
Weirich Stephanie
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||