# Changeset 1704

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

typo

File:
1 edited

### Legend:

Unmodified
 r1703 \item The paper \cite{A12} and the related software $\cost$. \item The paper \cite{T12} and the related prototype compiler \ilacc{} (and the its \cost{} branch, \ilcost{}). \item The paper \cite{T12} and the related prototype compiler \ilacc{} (and its \cost{} branch, \ilcost{}). \item The paper \cite{ARG11} and the related software $\lamcost$. A second development at UPD is of a more speculative nature and is concerned with the design of a type system for a functional language with side effects that guarantees complexity bounds. As far as we with side effects that guarantees complexity bounds \cite{MA11}. As far as we know, this is the first work that accounts for side effects. The obtained result concerns {\em elementary time} and ongoing work that