Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Brysen Pfingsten
conf.researchr.org general profile
ICFP 2024 profile
ICFP/SPLASH 2025 profile
Registered user since Tue 30 Jul 2024
Name:
Brysen Pfingsten
Affiliation:
Seton Hall University
Contributions
2025
miniKanren
Author of Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics within the MiniKanren-track
2024
miniKanren
Speaker of Six Ways to Implement Divisibility by Three in miniKanren within the miniKanren 2024-track
Share
x
Sat 25 Oct 20:43