ICFP

ICFP 公式サイト ↗

Programming Languages & Formal Methods

2025 · 36 papers

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

1. 2025 · ICFP

   2-Functoriality of Initial Semantics, and Applications

   Benedikt Ahrens, Ambroise Lafont, Thomas Lamiaux

   Programming Languages & Formal Methods

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

2. 2025 · ICFP

   A Bargain for Mergesorts: How to Prove Your Mergesort Correct and Stable, Almost for Free

   Cyril Cohen, Kazuhiko Sakaguchi

   Programming Languages & Formal Methods

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

3. 2025 · ICFP

   A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware

   Liyi Li, David Young, James Bryan Graves, Chandeepa Dissanayake, Amr Sabry

   Programming Languages & Formal Methods

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

4. 2025 · ICFP

   Almost Fair Simulations

   Arthur Correnson, Iona Kuhn, Bernd Finkbeiner

   Programming Languages & Formal Methods

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

5. 2025 · ICFP

   Bialgebraic Reasoning on Stateful Languages

   Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat

   Programming Languages & Formal Methods

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

6. 2025 · ICFP

   Big Steps in Higher-Order Mathematical Operational Semantics

   Sergey Goncharov, Pouya Partow, Stelios Tsampas

   Programming Languages & Formal Methods

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

7. 2025 · ICFP

   CRDT Emulation, Simulation, and Representation Independence

   Nathan Liittschwager, Jonathan Castello, Stelios Tsampas, Lindsey Kuper

   Programming Languages & Formal Methods

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

8. 2025 · ICFP

   Call-Guarded Abstract Definitional Interpreters

   Kimball Germane

   Programming Languages & Formal Methods

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

9. 2025 · ICFP

   Compiling with Generating Functions

   Jianlin Li, Yizhou Zhang

   Programming Languages & Formal Methods

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

10. 2025 · ICFP

    Correctness Meets Performance: From Agda to Futhark

    Artjoms Šinkarovs, Troels Henriksen

    Programming Languages & Formal Methods

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

11. 2025 · ICFP

    Effectful Lenses: There and Back with Different Monads

    Ruifeng Xie, Tom Schrijvers, Zhenjiang Hu

    Programming Languages & Formal Methods

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

12. 2025 · ICFP

    Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages

    J. A. Carr, Benjamin Quiring, John Reppy, Olin Shivers, Skye Soss, Byron Zhong

    Programming Languages & Formal Methods

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

13. 2025 · ICFP

    First-Order Laziness

    Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley

    Programming Languages & Formal Methods

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

14. 2025 · ICFP

    Formal Semantics and Program Logics for a Fragment of OCaml

    Remy Seassau, Irene Yoon, Jean-Marie Madiot, François Pottier

    Programming Languages & Formal Methods

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

15. 2025 · ICFP

    Frex: Dependently Typed Algebraic Simplification

    Guillaume Allais, Edwin Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop

    Programming Languages & Formal Methods

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

16. 2025 · ICFP

    Fulls Seldom Differ

    Mark Koch, Alan Lawrence, Conor McBride, Craig Roy

    Programming Languages & Formal Methods

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

17. 2025 · ICFP

    Functional Networking for Millions of Docker Desktops (Experience Report)

    Anil Madhavapeddy, David J. Scott, Patrick Ferris, Ryan T. Gibb, Thomas Gazagnaire

    Programming Languages & Formal Methods

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

18. 2025 · ICFP

    Fusing Session-Typed Concurrent Programming into Functional Programming

    Chuta Sano, Deepak Garg, Ryan Kavanagh, Brigitte Pientka, Bernardo Toninho

    Programming Languages & Formal Methods

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

19. 2025 · ICFP

    Linear Types with Dynamic Multiplicities in Dependent Type Theory (Functional Pearl)

    Maximilian Doré

    Programming Languages & Formal Methods

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

20. 2025 · ICFP

    McTT: A Verified Kernel for a Proof Assistant

    Junyoung Jang, Antoine Gaulin, Jason Z. S. Hu, Brigitte Pientka

    Programming Languages & Formal Methods

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

21. 2025 · ICFP

    Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs

    Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal

    Programming Languages & Formal Methods

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

22. 2025 · ICFP

    Multi-stage Programming with Splice Variables

    Tsung-Ju Chiang, Ningning Xie

    Programming Languages & Formal Methods

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

23. 2025 · ICFP

    Multiple Resumptions and Local Mutable State, Directly

    Serkan Muhcu, Philipp Schuster, Michel Steuwer, Jonathan Immanuel Brachthäuser

    Programming Languages & Formal Methods

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

24. 2025 · ICFP

    Normalization by Evaluation for Non-cumulativity

    Shengyi Jiang, Jason Z. S. Hu, Bruno C. d. S. Oliveira

    Programming Languages & Formal Methods

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

25. 2025 · ICFP

    Polynomial-Time Program Equivalence for Machine Knitting

    Nathan Hurtig, Jenny Han Lin, Thomas S. Price, Adriana Schulz, James McCann, Gilbert Louis Bernstein

    Programming Languages & Formal Methods

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

26. 2025 · ICFP

    Pushing the Information-Theoretic Limits of Random Access Lists: Traversing Cons Lists in (1 + 1/𝜎 ) ⌊lg 𝑛⌋ + 𝜎 + 9 Steps

    Edward Peters, Yong Qi Foo, Michael D. Adams

    Programming Languages & Formal Methods

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

27. 2025 · ICFP

    Reasoning about Weak Isolation Levels in Separation Logic

    Anders Alnor Mathiasen, Léon Gondelman, Léon Ducruet, Amin Timany, Lars Birkedal

    Programming Languages & Formal Methods

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

28. 2025 · ICFP

    Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)

    Dan Plyukhin, Xueying Qin, Fabrizio Montesi

    Programming Languages & Formal Methods

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

29. 2025 · ICFP

    Robust Dynamic Embedding for Gradual Typing

    Koen Jacobs, Matías Toro, Nicolas Tabareau, Éric Tanter

    Programming Languages & Formal Methods

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

30. 2025 · ICFP

    SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F*

    Cezar-Constantin Andrici, Danel Ahman, Cătălin Hriţcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter

    Programming Languages & Formal Methods

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

31. 2025 · ICFP

    Teaching Software Specification (Experience Report)

    Cameron Moy, Daniel Patterson

    Programming Languages & Formal Methods

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

32. 2025 · ICFP

    Truly Functional Solutions to the Longest Uptrend Problem (Functional Pearl)

    Alexander Dinges, Ralf Hinze

    Programming Languages & Formal Methods

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

33. 2025 · ICFP

    Type Theory in Type Theory using a Strictified Syntax

    Ambrus Kaposi, Loïc Pujet

    Programming Languages & Formal Methods

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

34. 2025 · ICFP

    Type Universes as Kripke Worlds

    Paulette Koronkevich, William J. Bowman

    Programming Languages & Formal Methods

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

35. 2025 · ICFP

    Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language

    Rutger Broekhoff, Robbert Krebbers

    Programming Languages & Formal Methods

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

36. 2025 · ICFP

    Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach

    Marcos Grandury, Aleksandar Nanevski, Alexander Gryzlov

    Programming Languages & Formal Methods

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