FP$^2$: Fully in-Place Functional Programming
Anton Lorenzen, Daan Leijen, Wouter Swierstra
ICFP 2023 | September 2023
preprint
2023年9月4日 –
2023年9月9日
Microsoft at ICFP 2023
Pacific Daylight Time (UTC -7)
地点： Seattle, Washington
论文与出版物
论文与出版物
按年份分类的论文与出版物
-
Exploring Perceus for OCaml
Elton Pinto, Daan Leijen
September 2023
Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Son Ho, Aymeric Fromherz, Jonathan Protzenko
ICFP 2023 | July 2023
按研究领域分类的论文与出版物
-
FP$^2$: Fully in-Place Functional Programming
Anton Lorenzen, Daan Leijen, Wouter Swierstra
ICFP 2023 | September 2023
preprint
Exploring Perceus for OCaml
Elton Pinto, Daan Leijen
September 2023
Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Son Ho, Aymeric Fromherz, Jonathan Protzenko
ICFP 2023 | July 2023
按类型分类的论文与出版物
-
Exploring Perceus for OCaml
Elton Pinto, Daan Leijen
September 2023
Presented at the "Higher order, Typed, Strict: ML Family Workshop 2023" co-located with ICFP'23.
-
FP$^2$: Fully in-Place Functional Programming
Anton Lorenzen, Daan Leijen, Wouter Swierstra
ICFP 2023 | September 2023
preprint
Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification
Son Ho, Aymeric Fromherz, Jonathan Protzenko
ICFP 2023 | July 2023