Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • main default protected
  • master
2 results
Created with Raphaël 2.2.011Oct417Aug27Jul21191824May218Jan74331Dec2416151488Sep31Jan3010876319Jun4Apr19Mar151423Feb131217Jan161121Nov96530Oct2928262524221121Sep2025Jul12111098767653230Jun292827262522212019181716151413121130May26252422211298654329Apr2726252420177643230Mar2861fix merge issuefix merge issueMerge branch 'main' of https://gitlab.eecs.umich.edu/gradual-typing/sgdtmergecompletely eliminate the need for symmetry in the proofshow symmetry can be replaced by reflexivity (at fix \theta)syntactic properties of type precisiondefine infix mapSyntax of gradual CBV cast calculusShow that `forall x, theta (next x) = x` has bad consequences, and an analogous fact with a relation R in place of `=`New defintion of Dyn; changes to EP pairsDefine Dyn; start work on EP pairsShow that L is a monadsketch of a naive view of gradual typesinit a paperStart the guarded cubical experimentaxiomatize some clocks?more work on prose, organize the formalizations and init guarded cubical versionHello, synthetic world!finish revisionsmastermasteradd final revision requests and start working on themsubmittedfix citations, xrefs, spellcheckfinish section 2 revisionssection 2 updates, almost donesection 3 updatessome outstanding issues with 4 and 5work on section 3the contract models sectionmore introfinish new lr sectionalmost all of lr sectionfinish updates to one of the sections at least :)more slogmore changessection 2 fixesmore section 2some intro changesjfp reviewsadd conflict of interest thing for the jfp submission