ICFP

ICFP 公式サイト ↗

Programming Languages & Formal Methods

2022 · 35 papers

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

1. 2022 · ICFP

   A completely unique account of enumeration

   Cas van der Rest, Wouter Swierstra

   Programming Languages & Formal Methods

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

2. 2022 · ICFP

   A reasonably gradual type theory

   Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter

   Programming Languages & Formal Methods

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

3. 2022 · ICFP

   A simple and efficient implementation of strong call by need by an abstract machine

   Małgorzata Biernacka, Witold Charatonik, Tomasz Drab

   Programming Languages & Formal Methods

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

4. 2022 · ICFP

   Aeneas: Rust verification by functional translation

   Son Ho, Jonathan Protzenko

   Programming Languages & Formal Methods

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

5. 2022 · ICFP

   Analyzing binding extent in 3CPS

   Benjamin Quiring, John Reppy, Olin Shivers

   Programming Languages & Formal Methods

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

6. 2022 · ICFP

   Automatically deriving control-flow graph generators from operational semantics

   James Koppel, Jackson Kearl, Armando Solar-Lezama

   Programming Languages & Formal Methods

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

7. 2022 · ICFP

   Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl)

   Norman Ramsey

   Programming Languages & Formal Methods

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

8. 2022 · ICFP

   Constraint-based type inference for FreezeML

   Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley

   Programming Languages & Formal Methods

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

9. 2022 · ICFP

   Datatype-generic programming meets elaborator reflection

   Hsiang-Shang Ko, Liang-Ting Chen, Tzu-Chi Lin

   Programming Languages & Formal Methods

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

10. 2022 · ICFP

    Entanglement detection with near-zero cost

    Sam Westrick, Jatin Arora, Umut A. Acar

    Programming Languages & Formal Methods

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

11. 2022 · ICFP

    Flexible presentations of graded monads

    Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu

    Programming Languages & Formal Methods

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

12. 2022 · ICFP

    Formal reasoning about layered monadic interpreters

    Irene Yoon, Yannick Zakowski, Steve Zdancewic

    Programming Languages & Formal Methods

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

13. 2022 · ICFP

    Fusing industry and academia at GitHub (experience report)

    Patrick Thomson, Rob Rix, Nicolas Wu, Tom Schrijvers

    Programming Languages & Formal Methods

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

14. 2022 · ICFP

    Generating circuits with generators

    Marek Materzok

    Programming Languages & Formal Methods

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

15. 2022 · ICFP

    Introduction and elimination, left and right

    Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen

    Programming Languages & Formal Methods

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

16. 2022 · ICFP

    Later credits: resourceful reasoning for the later modality

    Simon Spies, Lennard Gäher, Joseph Tassarotti, Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer

    Programming Languages & Formal Methods

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

17. 2022 · ICFP

    Linearly qualified types: generic inference for capabilities and uniqueness

    Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg

    Programming Languages & Formal Methods

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

18. 2022 · ICFP

    Modular probabilistic models via algebraic effects

    Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu

    Programming Languages & Formal Methods

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

19. 2022 · ICFP

    Monadic compiler calculation (functional pearl)

    Patrick Bahr, Graham Hutton

    Programming Languages & Formal Methods

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

20. 2022 · ICFP

    Multi types and reasonable space

    Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

    Programming Languages & Formal Methods

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

21. 2022 · ICFP

    Multiparty GV: functional multiparty session types with certified deadlock freedom

    Jules Jacobs, Stephanie Balzer, Robbert Krebbers

    Programming Languages & Formal Methods

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

22. 2022 · ICFP

    Normalization for fitch-style modal calculi

    Nachiappan Valliappan, Fabian Ruch, Carlos Tomé Cortiñas

    Programming Languages & Formal Methods

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

23. 2022 · ICFP

    On Feller continuity and full abstraction

    Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo

    Programming Languages & Formal Methods

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

24. 2022 · ICFP

    Practical generic programming over a universe of native datatypes

    Lucas Escot, Jesper Cockx

    Programming Languages & Formal Methods

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

25. 2022 · ICFP

    Program adverbs and Tlön embeddings

    Yao Li, Stephanie Weirich

    Programming Languages & Formal Methods

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

26. 2022 · ICFP

    Propositional equality for gradual dependently typed programming

    Joseph Eremondi, Ronald Garcia, Éric Tanter

    Programming Languages & Formal Methods

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

27. 2022 · ICFP

    Random testing of a higher-order blockchain language (experience report)

    Tram Hoang, Anton Trunov, Leonidas Lampropoulos, Ilya Sergey

    Programming Languages & Formal Methods

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

28. 2022 · ICFP

    Reference counting with frame limited reuse

    Anton Lorenzen, Daan Leijen

    Programming Languages & Formal Methods

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

29. 2022 · ICFP

    Safe couplings: coupled refinement types

    Elizaveta Vasilenko, Niki Vazou, Gilles Barthe

    Programming Languages & Formal Methods

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

30. 2022 · ICFP

    Searching entangled program spaces

    James Koppel, Zheng Guo, Edsko de Vries, Armando Solar-Lezama, Nadia Polikarpova

    Programming Languages & Formal Methods

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

31. 2022 · ICFP

    Staged compilation with two-level type theory

    András Kovács

    Programming Languages & Formal Methods

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

32. 2022 · ICFP

    Structural versus pipeline composition of higher-order functions (experience report)

    Elijah Rivera, Shriram Krishnamurthi

    Programming Languages & Formal Methods

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

33. 2022 · ICFP

    The theory of call-by-value solvability

    Beniamino Accattoli, Giulio Guerrieri

    Programming Languages & Formal Methods

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

34. 2022 · ICFP

    Verified symbolic execution with Kripke specification monads (and no meta-programming)

    Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese

    Programming Languages & Formal Methods

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

35. 2022 · ICFP

    ‘do’ unchained: embracing local imperativity in a purely functional language (functional pearl)

    Sebastian Ullrich, Leonardo de Moura

    Programming Languages & Formal Methods

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