Hacker GitHub

← All repos

rntz/datafun

View on GitHub ↗ ★ 421 TeX

Research on integrating datalog & lambda calculus via monotonicity types

7 mentions on Hacker News by 5 people: 3 stories, 4 comments · first 2016-01-18 · latest 2023-12-29

Mentions per year 7 mentions · busiest year 2016 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Datafun: A Purely, Total Functional Datalog
    story by anonzzzies · 2023-12-29 · 0 comments
  2. ▲ 1
    Datafun
    story by tosh · 2020-08-01 · 0 comments
  3. ▲ 1
    Research on integrating datalog and lambda calculus via monotonicity types
    story by tosh · 2018-05-19 · 0 comments