We stand with Ukraine  

Reed Mullanix

Orcid: 0000-0002-7970-4961

According to our database1, Reed Mullanix authored at least 2 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
The Agda standard library: version 2.0.
[BibTeX]
[DOI]
Matthew L. Daggitt
,
Guillaume Allais
,
James McKinna
,
Andreas Abel
,
Van Doorn
,
Nathan
,
James Wood
,
Ulf Norell
,
Donnacha Oisín Kidney
,
Sergei Meshveliani
,
Sandro Stucki
,
Jacques Carette
,
Alex Rice
,
Jason Z. s. Hu
,
Li-yao Xia
,
Shu-Hung You
,
Reed Mullanix
,
Wen Kokke
J. Open Source Softw., December, 2025

2023
An Order-Theoretic Analysis of Universe Polymorphism.
[BibTeX]
[DOI]
Kuen-Bang Hou (Favonia)
,
Carlo Angiuli
,
Reed Mullanix
Proc. ACM Program. Lang., January, 2023


  Loading...