ICFP

ICFP 公式サイト ↗

Programming Languages & Formal Methods

2023 · 33 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

1. 2023 · ICFP

   A General Fine-Grained Reduction Theory for Effect Handlers

   Filip Sieczkowski, Mateusz Pyzik, Dariusz Biernacki

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

2. 2023 · ICFP

   A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized

   Andreas Abel, Nils Anders Danielsson, Oskar Eriksson

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

3. 2023 · ICFP

   Asynchronous Modal FRP

   Patrick Bahr, Rasmus Ejlers Møgelberg

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

4. 2023 · ICFP

   Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebraic Data Types

   Thaïs Baudon, Gabriel Radanne, Laure Gonnord

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

5. 2023 · ICFP

   Calculating Compilers for Concurrency

   Patrick Bahr, Graham Hutton

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

6. 2023 · ICFP

   Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters

   Sven Keidel, Sebastian Erdweg, Tobias Hombücher

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

7. 2023 · ICFP

   Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)

   Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

8. 2023 · ICFP

   Dependently-Typed Programming with Logical Equality Reflection

   Yiyun Liu, Stephanie Weirich

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

9. 2023 · ICFP

   Embedding by Unembedding

   Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu

   Programming Languages & Formal Methods

   日本大学: 東北大学

10. 2023 · ICFP

    Etna: An Evaluation Platform for Property-Based Testing (Experience Report)

    Jessica Shi, Alperen Keles, Harrison Goldstein, Benjamin C. Pierce, Leonidas Lampropoulos

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

11. 2023 · ICFP

    Explicit Refinement Types

    Jad Elkhaleq Ghalayini, Neel Krishnaswami

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

12. 2023 · ICFP

    FP²: Fully in-Place Functional Programming

    Anton Lorenzen, Daan Leijen, Wouter Swierstra

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

13. 2023 · ICFP

    Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)

    Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, Adam Chlipala

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

14. 2023 · ICFP

    Formal Specification and Testing for Reinforcement Learning

    Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wąsowski

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

15. 2023 · ICFP

    Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc

    Alex Hubers, J. Garrett Morris

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

16. 2023 · ICFP

    HasChor: Functional Choreographic Programming for All (Functional Pearl)

    Gan Shen, Shun Kashiwa, Lindsey Kuper

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

17. 2023 · ICFP

    Higher-Order Property-Directed Reachability

    Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato

    Programming Languages & Formal Methods

    日本大学: 東京大学

18. 2023 · ICFP

    How to Evaluate Blame for Gradual Types, Part 2

    Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

19. 2023 · ICFP

    Intrinsically Typed Sessions with Callbacks (Functional Pearl)

    Peter Thiemann

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

20. 2023 · ICFP

    LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)

    Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi’mèd Künzang, Daniel Rogozin, Cameron Wong

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

21. 2023 · ICFP

    MacoCaml: Staging Composable and Compilable Macros

    Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

22. 2023 · ICFP

    Modular Models of Monoids with Operations

    Zhixuan Yang, Nicolas Wu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

23. 2023 · ICFP

    Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification

    Son Ho, Aymeric Fromherz, Jonathan Protzenko

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

24. 2023 · ICFP

    More Fixpoints! (Functional Pearl)

    Joachim Breitner

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

25. 2023 · ICFP

    Reflecting on Random Generation

    Harrison Goldstein, Samantha Frohlich, Meng Wang, Benjamin C. Pierce

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

26. 2023 · ICFP

    Special Delivery: Programming with Mailbox Types

    Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

27. 2023 · ICFP

    The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming

    Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

28. 2023 · ICFP

    Timely Computation

    Conal Elliott

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

29. 2023 · ICFP

    Trustworthy Runtime Verification via Bisimulation (Experience Report)

    Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

30. 2023 · ICFP

    Typing Records, Maps, and Structs

    Giuseppe Castagna

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

31. 2023 · ICFP

    Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols

    Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

32. 2023 · ICFP

    What Happens When Students Switch (Functional) Languages (Experience Report)

    Kuang-Chen Lu, Shriram Krishnamurthi, Kathi Fisler, Ethel Tshukudu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

33. 2023 · ICFP

    With or Without You: Programming with Effect Exclusion

    Matthew Lutze, Magnus Madsen, Philipp Schuster, Jonathan Immanuel Brachthäuser

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）