Carter Tazio Schonwald

Login: cartazio

Company: wellposed.com

Location: NYC, USA

Bio: null

Blog: www.wellposed.com

Blog: www.wellposed.com

Member of

  1. Haskell
  2. Haskell Data Analytics Platform
  3. Haskell.org Infrastructure
  4. Hopper Programing Language
  5. Wellposed
  6. null

Repositories

system-lf
linear logic and system f have a baby

Commits To

RepositoryMost Recent Commit# Commits


This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.