publication . Contribution for newspaper or weekly magazine . 2010

Computing effects for correspondence types

Hüttel, Hans;
Open Access English
  • Published: 01 Jan 2010
  • Country: Denmark
Abstract
<p style="margin: 0px; font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; font-size: 9px; line-height: normal; font-size-adjust: none; font-stretch: normal">We show that type and effect inference is possible for a type and<span style="font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; font-size: 12px; line-height: normal; font-size-adjust: none; font-stretch: normal"> </span></p> <p style="margin: 0px; font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; font-size: 9px; line-height: normal; font-size-adjust: none; font-stretch: normal">effect system for authen...
Subjects
free text keywords: Typer, Typeinferens, Første-ordens logik, Proceskalkyler, Types, Type inference, First-order logic, Proces calculi
Related Organizations
Download from
VBN
Contribution for newspaper or weekly magazine . 2010
Provider: VBN
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue