myo
776 B
776 B
Paper notes
Main paper
-
a destination is always linear and of finite age
-
Evaluation context is
- a stack that keeps track of the term in focus
- typed with rules, similar to the term typings
- A nice thing to express small step semantics (I can see how the proof gets easy with progress being a given here)
-
Small step semantics need some special renaming semantics for holes (maybe worth looking into)
Notes of the kickoff meeting
Kickoff meeting
- His slides have different percentages (wrong info on grading)
- Understand not only the material but read some foundational references
Tools
-
dblp.org
-
Citeseer
-
Google scholar
-
scienceos.ai
-
Payton Jones How to write a great research paper
-
Mal Plagiatsding lesen auf Wikipedia