1. 2
    Help needed: Static typing and algebra ☶ compilers compsci math plt
    HenriTuhola avatar authored by HenriTuhola 4 months ago | 1 comment
  2. 7
    Types and Indeterminates ml plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 5 months ago | cached | 2 comments
  3. 5
    Happy extra rare new year + solution to leap second problem compsci historical practices programming boxbase.org
    HenriTuhola avatar authored by HenriTuhola 7 months ago | cached | 2 comments
  4. 6
    How should the addition -expression behave? ☶ compilers programming boxbase.org
    HenriTuhola avatar authored by HenriTuhola 9 months ago | cached | 5 comments