scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to Compiler Implementation deck
Kitchen
/
Journeys
/
Programming language theory
/
What are some challenges of retrofitting type systems?
Compiler Implementation
Wrong
Right
New · 0d
question
What are some challenges of retrofitting type systems?
Hint
Retrofitted type system
Chapter 5. types
← Previous flashcard
What are simpl, reflexivity in rocq?
Next flashcard →
What are some examples of automated theorem provers?