Login / Signup

Introducing Certified Compilation in Education by a Functional Language Approach.

Per LindgrenMarcus LindnerNils Fitinghoff
Published in: TFPIE@TFP (2018)
Keyphrases
  • functional language
  • functional programming
  • programming language
  • object identity
  • proof planning
  • data mining
  • machine learning