Marcus Lindner (Lule{\aa} University of Technology)

Identifiers

• name variant Marcus Lindner (Lule{\aa} University of Technology) 0.50 · backfill

Papers (1)

1. Introducing Certified Compilation in Education by a Functional Language Approach cs.PL · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Nils Fitinghoff (Lule{\aa} University of Technology) 1 shared papers
• Per Lindgren (Lule{\aa} University of Technology) 1 shared papers