Mercurial Mercurial > hg > nominal2 / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
README
changeset 2523 e903c32ec24f
parent 2453 2f47291b6ff9
child 2568 8193bbaa07fe
equal deleted inserted replaced
2522:0cb0c88b2cad 2523:e903c32ec24f 
    21                   part of the Isabelle distribution)
 
    21                   part of the Isabelle distribution)
 
    22 
    22 
    23 Literature    ... some relevant papers about binders and
 
    23 Literature    ... some relevant papers about binders and
 
    24                   Core-Haskell
 
    24                   Core-Haskell
 
    25 
    25 
    26 Paper         ... submitted to POPL
 
    26 Paper         ... submitted to ESOP
 
    27 
    27 
    28 Pearl         ... accepted at ITP 
    28 Pearl         ... accepted at ITP 
    29 Pearl-jv      ... journal version
 
    29 Pearl-jv      ... journal version
 
    30 
    30 
    31 Quotient-Paper .. submitted to SAC
 
    31 Quotient-Paper .. submitted to SAC
nominal2