Registered user since Thu 16 Oct 2014
Name:Matthew Might
Bio:
Professor of Internal Medicine and Computer Science, UAB
Hugh Kaul Endowed Chair in Personalized Medicine
Director, Hugh Kaul Precision Medicine Institute
Senior Lecturer, Harvard Medical School
Country:United States
Affiliation:University of Alabama at Birmingham | Harvard Medical School
Personal website:http://matt.might.net/
Research interests:programming languages; security; high-performance computing
Contributions
| miniKanren 2019 | First-order miniKanren representation: Great for tooling and search | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2019-profile
View general profile
View general profile