Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 21)

H-INDEX

2

(FIVE YEARS 2)

Published By ACM

9781450372497

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Exception Handling and Classical Logic

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354186 ◽

2019 ◽

Author(s):

Steffen van Bakel

Keyword(s):

Classical Logic ◽

Exception Handling

Download Full-text

Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354168 ◽

2019 ◽

Author(s):

Andreas Abel ◽

Christian Sattler

Keyword(s):

Lambda Calculus

Download Full-text

An Adequate While-Language for Hybrid Computation

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354176 ◽

2019 ◽

Author(s):

Sergey Goncharov ◽

Renato Neves

Keyword(s):

Hybrid Computation

Download Full-text

Generic Encodings of Constructor Rewriting Systems

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354173 ◽

2019 ◽

Author(s):

Horatiu Cirstea ◽

Pierre-Etienne Moreau

Keyword(s):

Rewriting Systems

Download Full-text

10 Years of the Higher-Order Model Checking Project (Extended Abstract)

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354167 ◽

2019 ◽

Author(s):

Naoki Kobayashi

Keyword(s):

Model Checking ◽

Higher Order ◽

Download Full-text

TopHat

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354182 ◽

2019 ◽

Author(s):

Tim Steenvoorden ◽

Nico Naus ◽

Markus Klinik

Download Full-text

Functional programming with λ-tree syntax

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354177 ◽

2019 ◽

Author(s):

Ulysse Gérard ◽

Dale Miller ◽

Gabriel Scherer

Keyword(s):

Functional Programming

Download Full-text

Type-Driven Verification of Non-functional Properties

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354171 ◽

2019 ◽

Author(s):

Christopher Brown ◽

Adam D. Barwell ◽

Yoann Marquer ◽

Céline Minh ◽

Olivier Zendra

Keyword(s):

Functional Properties

Download Full-text

Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354178 ◽

2019 ◽

Author(s):

Kentaro Kikuchi ◽

Takahito Aoto ◽

Isao Sasano

Keyword(s):

Theorem Proving ◽

Program Transformation ◽

Rewriting Systems ◽

Inductive Theorem Proving

Download Full-text

Under Control

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 ◽

10.1145/3354166.3354181 ◽

2019 ◽

Author(s):

Phillip Mates ◽

Jamie Perconti ◽

Amal Ahmed

Download Full-text