Quan Long

Quan Longaka Dr. Strangelove

Category theory and theoretical Computer Science, located in Paris, France and Tallinn, Estonia. Away from the desk: a violinist, behind cameras, and as much depth as one breath allows under the oceans.

Research projectsResearch ComposingComposing PhotographsPhotographs Art projectsArt projects

Research

Monads and their gradings, effects, and the categorical structures underneath programming languages. Papers and internship reports below; the PDFs are hosted here.

2023

Central submonads of graded monads

On commutativity for graded monads, and the construction of their centre — the largest sub-structure on which everything commutes.

With Flavien Breuvart and Vladimir Zamdzhiev.

Paper Report

2022

Comparing functional approaches to automatic differentiation

A survey and comparison of the current functional presentations of automatic differentiation, and what each of them costs.

With Damiano Mazza.

Report

In progress

Working title of the current project

Two or three sentences on what the question is and why it is interesting. Replace this text.

With Name and Name.

Draft

Photographs

The Uncanny Gap between Reality and Dreams

Caption — place, year
Caption — place, year
Caption — place, year
Caption — place, year
Caption — place, year
Caption — place, year

Composing

Scores and recordings. Under Construction

In progress

Sonata for solo violin

A description of the piece: how many movements, what it is built on, what you were after. Replace this text.

Solo violin.

Score

Year

Title of the piece

A sentence or two about it.

Instrumentation — duration.

Score

Art projects

Paintings, installations, collaborations.

Title of the project

Medium, dimensions — year

A short statement. What it is made of, what it does in a room, what it came out of. Two or three sentences is plenty.

Documentation

Title of the project

Medium, dimensions — year

A short statement.

Title of the project

Medium, dimensions — year

A short statement.