|
Failed to load latest commit information. |
|
OGC.pdf
|
Initial commit on `gh-pages-hugo` branch
|
Jul 14, 2016
|
|
|
a_prinicipled_design_of_capabilities_in_pony.pdf
|
Add George Steed's thesis to Papers (#189)
|
Oct 26, 2017
|
|
|
a_string_of_ponies.pdf
|
Add "A String of Ponies" to papers in media
|
Sep 7, 2017
|
|
|
fast-cheap-with-proof.pdf
|
Link to paper with proof included (#191)
|
Oct 27, 2017
|
|
|
fast-cheap.pdf
|
Initial commit on `gh-pages-hugo` branch
|
Jul 14, 2016
|
|
|
formalizing-generics-for-pony.pdf
|
Add Paul Lietar's thesis to Papers
|
Nov 16, 2017
|
|
|
opsla237-clebsch.pdf
|
Initial commit on `gh-pages-hugo` branch
|
Jul 14, 2016
|
|
|
orca_gc_and_type_system_co-design_for_actor_languages.pdf
|
add the orca paper to papers section in community (#196)
|
Oct 29, 2017
|