UChicago-PL

icon indicating a website link http://pl.cs.uchicago.edu/

icon location Programming Languages Research @ UChicago

Results 1 repositories owned by UChicago-PL

smyth

29
Stars
4
Forks
Watchers

Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

verified publisher icon UChicago-PL