Changeset 1704


Ignore:
Timestamp:
Feb 16, 2012, 4:54:38 PM (6 years ago)
Author:
amadio
Message:

typo

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D5.1-5.3/report.tex

    r1703 r1704  
    602602\item The paper \cite{A12} and the related software $\cost$.
    603603
    604 \item The paper \cite{T12} and the related prototype compiler \ilacc{} (and the its \cost{} branch, \ilcost{}).
     604\item The paper \cite{T12} and the related prototype compiler \ilacc{} (and its \cost{} branch, \ilcost{}).
    605605
    606606\item The paper \cite{ARG11} and the related software $\lamcost$.
     
    752752A second development at UPD is of a more speculative nature and is
    753753concerned with the design of a type system for a functional language
    754 with side effects that guarantees complexity bounds. As far as we
     754with side effects that guarantees complexity bounds \cite{MA11}. As far as we
    755755know, this is the first work that accounts for side effects. The
    756756obtained result concerns {\em elementary time} and ongoing work that
Note: See TracChangeset for help on using the changeset viewer.