Mike Vollmer

Identifiers

No identifiers captured yet.

Papers (1)

1. SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes cs.PL · 2026 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Artem Pelenitsyn 1 shared papers
• Michael H. Borkowski 1 shared papers
• Mikah Kainen 1 shared papers
• Milind Kulkarni 1 shared papers
• Vidush Singhal 1 shared papers