conf.researchr.org / Chris Martens
Registered user since Fri 23 Oct 2015
Name:Chris Martens
Bio:
Ph.D. Carnegie Mellon University, 2015
Country:United States
Affiliation:Northeastern University
Personal website: https://www.khoury.northeastern.edu/~cmartens/
GitHub: https://github.com/chrisamaphone
Research interests:Programming languages, logic, type systems, logic programming
Contributions
2026
miniKanren
- Co-chair in Organizing Committee within the miniKanren 2026-track
- Author of Opening greetings and announcements within the miniKanren 2026-track
- Author of Programming Challenge to Attendees within the miniKanren 2026-track
- Co-chair in Program Committee within the miniKanren 2026-track
- Author of Introduction to relational programming in miniKanren within the miniKanren 2026-track
- Author of Demos of Attendee Programs and Open Mic within the miniKanren 2026-track