Nils Fitinghoff (Lule{\aa} University of Technology)

Identifiers

• name variant Nils Fitinghoff (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 #3

Mentions

No mention provenance yet.

Frequent Coauthors

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