kpavery/System-Fo kpavery/System-Fo

  • Stars
    star
    33
  • Rank 783,877 (Top 16 %)
  • Language
    Scala
  • Created almost 10 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kpavery/System-Fo
github

kpavery

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, et al.

More Repositories

1

goldmine

Browser extension to get course data from UCSB GOLD.
JavaScript
6
star
2

CheckCSIL

A tiny Python script to check the UCSB CSIL for available workstations.
Python
3
star
3

pomodoro

A non-intrusive pomodoro method timer for Mac OS X. Pauses iTunes during breaks.
Objective-C
1
star