Old Web
English
Sign In
Acemap
>
Paper
>
Introducing Certified Compilation in Education by a Functional Language Approach
Introducing Certified Compilation in Education by a Functional Language Approach
2019
Per Lindgren
Marcus Lindner
Nils Fitinghoff
Keywords:
Software engineering
Certification
Functional programming
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
3
References
0
Citations
NaN
KQI
[]