Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings > Composing Bidirectional Programs Monadically
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings |
Luís Caires
Springer International Publishing
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Composing Bidirectional Programs Monadically
Authors

Li-yao Xia; Dominic Orchard; Meng Wang

ARI Id

1665177880212_5175284

Access

Open/Free Access

Pages

147-175

DOI

10.1007/978-3-030-17184-1_6

PDF URL

https://link.springer.com/content/pdf/10.1007/978-3-030-17184-1_6?pdf=chapter%20toc

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-17184-1_6

Table of Contents of Book
Showing 1 to 20 of 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xv
Front Matter
1-1
Time Credits and Time Receipts in Iris
Glen Mével; Jacques-Henri Jourdan; François Pottier
3-29
Meta-F \(^\star \): Proof Automation with SMT, Tactics, and Metaprograms
Guido Martínez; Danel Ahman; Victor Dumitrescu; Nick Giannarakis; Chris Hawblitzel; Cătălin Hriţcu et al.
30-59
Semi-automated Reasoning About Non-determinism in C Expressions
Dan Frumin; Léon Gondelman; Robbert Krebbers
60-87
Safe Deferred Memory Reclamation with Types
Ismail Kuru; Colin S. Gordon
88-116
Front Matter
117-117
Codata in Action
Paul Downen; Zachary Sullivan; Zena M. Ariola; Simon Peyton Jones
119-146
Composing Bidirectional Programs Monadically
Li-yao Xia; Dominic Orchard; Meng Wang
147-175
Counters in Kappa: Semantics, Simulation, and Static Analysis
Pierre Boutillier; Ioana Cristescu; Jérôme Feret
176-204
One Step at a Time
Ferdinand Vesely; Kathleen Fisher
205-231
Front Matter
233-233
Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order
Dylan McDermott; Alan Mycroft
235-262
Effectful Normal Form Bisimulation
Ugo Dal Lago; Francesco Gavazzo
263-292
On the Multi-Language Construction
Samuele Buro; Isabella Mastroeni
293-321
Probabilistic Programming Inference via Intensional Semantics
Simon Castellan; Hugo Paquet
322-349
Front Matter
351-351
Handling Polymorphic Algebraic Effects
Taro Sekiyama; Atsushi Igarashi
353-380
Distributive Disjoint Polymorphism for Compositional Programming
Xuan Bi; Ningning Xie; Bruno C. d. S. Oliveira; Tom Schrijvers
381-409
Types by Need
Beniamino Accattoli; Giulio Guerrieri; Maico Leberle
410-439
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings