Archive
2026
September
- September 23, 2026 » New report: Agentic Development of an ARM64 Compiler Backend
- September 19, 2026 » New report: Crafting a REPL for HOT Compiled Execution
- September 15, 2026 » New report: Generic Combinators for Monoid Nesting in Futhark
August
- August 28, 2026 » Kronecker-Free Quantum Simulation at PPDP/LOPSTR 2026
January
- January 29, 2026 » Hash Maps in a Functional Array Language at TFP 2026
2025
December
- December 15, 2025 » Programming with Regions in the MLKit: Updated Manual
October
- October 16, 2025 » Compositional Deep Argument Flattening at ML 2025
September
- September 27, 2025 » Dynamic Programming in Futhark
June
- June 17, 2025 » Kronecker-Free Quantum Simulation at WQS 2025
- June 17, 2025 » Gate Fusion Is Map Fusion at ARRAY 2025
February
- February 4, 2025 » dq: Exploring Quantum Simulation with Standard ML and Futhark
2024
October
- October 23, 2024 » AUTOMAP at OOPSLA 2024
September
- September 5, 2024 » Double-Ended Bit-Stealing at ICFP 2024
January
- January 18, 2024 » Explicit Effects and Effect Constraints in ReML at POPL 2024
2023
September
- September 8, 2023 » Programming with Explicit Effects in ReML at ML 2023
- September 4, 2023 » Shape-Constrained Array Programming at FHPNC 2023
June
- June 21, 2023 » Garbage-Collection Safety at PLDI 2023
- June 19, 2023 » Parallelism in a Region Inference Context at PLDI 2023
2022
December
- December 29, 2022 » Programming with Regions in the MLKit: Version 4.7.2
- December 29, 2022 » New report: Garbage-Collection Safety for Polymorphic Programs
April
- April 2, 2022 » Combinatory Adjoints and Differentiation at MSFP 2022
2021
December
- December 30, 2021 » Programming with Regions in the MLKit: Version 4.6.0
- December 8, 2021 » sml-server: A New Home for Web Programming in Standard ML
July
- July 16, 2021 » Caddie: Exploring Combinatory Automatic Differentiation
June
- June 21, 2021 » Size-Dependent Types for Array Programming at ARRAY 2021
February
- February 22, 2021 » Region Memory Management and Generational GC in JFP
2020
March
- March 8, 2020 » smlpkg: A Package Manager for Standard ML
February
- February 14, 2020 » Irregular Array Comprehensions at TFP 2020
- February 6, 2020 » Drawing Bézier Curves with Futhark's expand Operation
January
- January 30, 2020 » Exploring Chaos with Futhark: The Feigenbaum Project
- January 20, 2020 » Combining Regions and Generational GC at PADL 2020
2019
November
- November 1, 2019 » New report: Combining Region Inference and Generational GC
September
- September 25, 2019 » Functional GPU Option Pricing at IFL 2019
August
- August 18, 2019 » Compositional Deep Learning in Futhark at FHPNC 2019
- August 18, 2019 » Functional Option Pricing at FHPNC 2019
June
- June 22, 2019 » Data-Parallel Flattening by Expansion at ARRAY 2019
February
- February 18, 2019 » Incremental Flattening at PPoPP 2019
2017
November
- November 3, 2017 » Getting Started With Fsharp
2016
September
- September 22, 2016 » APL on GPUs through TAIL and Futhark at FHPC 2016
2014
October
- October 20, 2014 » apltail: From APL to Typed Array Programs
- October 6, 2014 » Student Projects
June
- June 12, 2014 » Compiling APL through TAIL at ARRAY 2014