• [<<<]
  • [>>>]
7th
03:15

Entirely pragmatic reasons to use Haskell


Entry tags:
  • coding,
  • design,
  • grad school,
  • haskell,
  • java,
  • nlp,
  • pos tagging

03:24

PSA: Terminology confusion in dependent type theory


Entry tags:
  • computer science,
  • dependent types,
  • psa,
  • type theory


[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]