#core

[ follow ]
fromHackernoon
1 year ago

How Focusing Resolves Stuck Terms in Core Evaluation | HackerNoon

Focusing techniques solve stuck term problems in Core by lifting subcomputations for effective evaluation.
Software development
fromHackernoon
1 year ago

How Typing Rules and Type Soundness Work in Core and Fun Programming Languages | HackerNoon

Typing rules for Core categorize producers, consumers, and statements, providing distinct judgment forms for each.
[ Load more ]