vix.ing
·
top
·
new
·
best
·
stats
·
spec
Starikov, Artem
typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
2024/08/06 by
Kudasov, Nikolai
,
Starikov, Artem
· 3 citations
#FOS: Computer and information sciences
#Programming Languages (cs.PL)