International Conference on Rewriting Techniques and Applications
container_wkjtc7dggzfktmoov66odshrra
Homepage URLs
https://link.springer.com/conference/rta |
Example Publications
A Linear Logical Framework in Hybrid (Invited Talk)
Amy P. Felty, Michael Wagner
2019
|
International Conference on Rewriting Techniques and Applications
doi:10.4230/lipics.fscd.2019.2 dblp:conf/rta/Felty19 version:1.0
Typed Equivalence of Effect Handlers and Delimited Control
Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski, Michael Wagner
2019
|
International Conference on Rewriting Techniques and Applications
doi:10.4230/lipics.fscd.2019.30 dblp:conf/rta/PirogPS19 version:1.0
The Discriminating Power of the Let-In Operator in the Lazy Call-by-Name Probabilistic lambda-Calculus
Simona Kasterovic, Michele Pagani, Michael Wagner
2019
|
International Conference on Rewriting Techniques and Applications
doi:10.4230/lipics.fscd.2019.26 dblp:conf/rta/KasterovicP19 version:1.0
Front Matter, Table of Contents, Preface, Conference Organization
Herman Geuvers, Michael Wagner
2019
|
International Conference on Rewriting Techniques and Applications
doi:10.4230/lipics.fscd.2019.0 dblp:conf/rta/X19 version:1.0
Some Semantic Issues in Probabilistic Programming Languages (Invited Talk)
Hongseok Yang, Michael Wagner
2019
|
International Conference on Rewriting Techniques and Applications
doi:10.4230/lipics.fscd.2019.4 dblp:conf/rta/Yang19 version:1.0
292
Known Releases
Preservation Summary [more]
| 169 | preserved and accessble (bright) | |
| 0 | preserved, inaccessible (dark) | |
| 123 | no known preservation |
Publication Type
conference-seriesLookup Links