xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
ICFP 2021
Sun 22 - Sat 28 August 2021
Matthew Might

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 2021 Universal Quantification and Implication in miniKanren
Show activities from other conferences

ICFP 2021-profile
View general profile