Changeset 2567


Ignore:
Timestamp:
Dec 22, 2012, 1:51:27 PM (7 years ago)
Author:
amadio
Message:

r

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/Dissemination/README

    r2558 r2567  
    5050Targeting more advanced optimisations: indexed labelling (tentative title).
    5151Abstract (* To come (Bologna?)*)
     52
    5253Module:
    5354Certifying and reasoning on cost annotations of functional programs.
Note: See TracChangeset for help on using the changeset viewer.