Compiling Array Languages for SIMD [pdf]

A Proper x86 Assembler in Haskell Using the Escardó-Oliva Functional

C is not suited to SIMD (2019)

Egison's Pattern-matching via Logic Programming

Type-Safe Pointers in ATS

Rewriting the Coreutils in ATS

Uncanny Haskell

Using Haskell on the Frontend

Outperforming Rust With Functional Programming

Practical ATS