How Focusing Resolves Stuck Terms in Core Evaluation | HackerNoon
We have lifted a subcomputation to the outside of the term we are evaluating. This kind of transformation is called focusing and we use it to solve the problem with stuck terms in Core.
How Typing Rules and Type Soundness Work in Core and Fun Programming Languages | HackerNoon
The complete typing rules for Core distinguish between producers, consumers, and statements as different syntactic categories, with separate judgment forms for each category.