Tags
- APL 3
- TAIL 3
- compilers 5
- Futhark 19
- student projects 1
- MLKit 17
- smackage 1
- Standard ML 8
- HIPERFIT 1
- Fsharp 1
- functional programming 5
- parallel programming 14
- memory management 10
- graphics 2
- chaos 1
- package management 1
- automatic differentiation 2
- web programming 1
- SMLserver 1
- ReML 4
- effect systems 2
- type systems 1
- array programming 1
- OOPSLA 1
- quantum computing 4
- ARRAY 1
- WQS 1
- ML Workshop 1
- hash maps 1
- TFP 1
- PPDP 1
- monoids 1
- REPL 1
- ARM64 1
APL
- APL on GPUs through TAIL and Futhark at FHPC 2016
- apltail: From APL to Typed Array Programs
- Compiling APL through TAIL at ARRAY 2014
TAIL
- APL on GPUs through TAIL and Futhark at FHPC 2016
- apltail: From APL to Typed Array Programs
- Compiling APL through TAIL at ARRAY 2014
compilers
- New report: Agentic Development of an ARM64 Compiler Backend
- Compositional Deep Argument Flattening at ML 2025
- APL on GPUs through TAIL and Futhark at FHPC 2016
- apltail: From APL to Typed Array Programs
- Compiling APL through TAIL at ARRAY 2014
Futhark
- New report: Generic Combinators for Monoid Nesting in Futhark
- Hash Maps in a Functional Array Language at TFP 2026
- Gate Fusion Is Map Fusion at ARRAY 2025
- dq: Exploring Quantum Simulation with Standard ML and Futhark
- AUTOMAP at OOPSLA 2024
- Shape-Constrained Array Programming at FHPNC 2023
- Size-Dependent Types for Array Programming at ARRAY 2021
- smlpkg: A Package Manager for Standard ML
- Irregular Array Comprehensions at TFP 2020
- Drawing Bézier Curves with Futhark's expand Operation
- Exploring Chaos with Futhark: The Feigenbaum Project
- Functional GPU Option Pricing at IFL 2019
- Compositional Deep Learning in Futhark at FHPNC 2019
- Functional Option Pricing at FHPNC 2019
- Data-Parallel Flattening by Expansion at ARRAY 2019
- Incremental Flattening at PPoPP 2019
- APL on GPUs through TAIL and Futhark at FHPC 2016
- apltail: From APL to Typed Array Programs
- Compiling APL through TAIL at ARRAY 2014
student projects
MLKit
- New report: Agentic Development of an ARM64 Compiler Backend
- New report: Crafting a REPL for HOT Compiled Execution
- Programming with Regions in the MLKit: Updated Manual
- Compositional Deep Argument Flattening at ML 2025
- Double-Ended Bit-Stealing at ICFP 2024
- Explicit Effects and Effect Constraints in ReML at POPL 2024
- Programming with Explicit Effects in ReML at ML 2023
- Garbage-Collection Safety at PLDI 2023
- Parallelism in a Region Inference Context at PLDI 2023
- Programming with Regions in the MLKit: Version 4.7.2
- New report: Garbage-Collection Safety for Polymorphic Programs
- Programming with Regions in the MLKit: Version 4.6.0
- sml-server: A New Home for Web Programming in Standard ML
- Region Memory Management and Generational GC in JFP
- Combining Regions and Generational GC at PADL 2020
- New report: Combining Region Inference and Generational GC
- Student Projects
smackage
Standard ML
- New report: Crafting a REPL for HOT Compiled Execution
- Programming with Regions in the MLKit: Updated Manual
- Compositional Deep Argument Flattening at ML 2025
- dq: Exploring Quantum Simulation with Standard ML and Futhark
- sml-server: A New Home for Web Programming in Standard ML
- Caddie: Exploring Combinatory Automatic Differentiation
- smlpkg: A Package Manager for Standard ML
- Student Projects
HIPERFIT
Fsharp
functional programming
- Kronecker-Free Quantum Simulation at PPDP/LOPSTR 2026
- Kronecker-Free Quantum Simulation at WQS 2025
- Combinatory Adjoints and Differentiation at MSFP 2022
- Caddie: Exploring Combinatory Automatic Differentiation
- Getting Started With Fsharp
parallel programming
- New report: Generic Combinators for Monoid Nesting in Futhark
- Hash Maps in a Functional Array Language at TFP 2026
- Gate Fusion Is Map Fusion at ARRAY 2025
- dq: Exploring Quantum Simulation with Standard ML and Futhark
- Shape-Constrained Array Programming at FHPNC 2023
- Size-Dependent Types for Array Programming at ARRAY 2021
- Irregular Array Comprehensions at TFP 2020
- Drawing Bézier Curves with Futhark's expand Operation
- Exploring Chaos with Futhark: The Feigenbaum Project
- Functional GPU Option Pricing at IFL 2019
- Compositional Deep Learning in Futhark at FHPNC 2019
- Functional Option Pricing at FHPNC 2019
- Data-Parallel Flattening by Expansion at ARRAY 2019
- Incremental Flattening at PPoPP 2019
memory management
- Programming with Regions in the MLKit: Updated Manual
- Double-Ended Bit-Stealing at ICFP 2024
- Garbage-Collection Safety at PLDI 2023
- Parallelism in a Region Inference Context at PLDI 2023
- Programming with Regions in the MLKit: Version 4.7.2
- New report: Garbage-Collection Safety for Polymorphic Programs
- Programming with Regions in the MLKit: Version 4.6.0
- Region Memory Management and Generational GC in JFP
- Combining Regions and Generational GC at PADL 2020
- New report: Combining Region Inference and Generational GC
graphics
- Drawing Bézier Curves with Futhark's expand Operation
- Exploring Chaos with Futhark: The Feigenbaum Project
chaos
package management
automatic differentiation
- Combinatory Adjoints and Differentiation at MSFP 2022
- Caddie: Exploring Combinatory Automatic Differentiation
web programming
SMLserver
ReML
- New report: Agentic Development of an ARM64 Compiler Backend
- New report: Crafting a REPL for HOT Compiled Execution
- Explicit Effects and Effect Constraints in ReML at POPL 2024
- Programming with Explicit Effects in ReML at ML 2023
effect systems
- Explicit Effects and Effect Constraints in ReML at POPL 2024
- Programming with Explicit Effects in ReML at ML 2023
type systems
array programming
OOPSLA
quantum computing
- Kronecker-Free Quantum Simulation at PPDP/LOPSTR 2026
- Kronecker-Free Quantum Simulation at WQS 2025
- Gate Fusion Is Map Fusion at ARRAY 2025
- dq: Exploring Quantum Simulation with Standard ML and Futhark