Computing effects for correspondence types

Contribution for newspaper or weekly magazine English OPEN
Hüttel, Hans;
(2010)
  • Subject: Typer | Typeinferens | Første-ordens logik | Proceskalkyler | Types | Type inference | First-order logic | Proces calculi

<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="... View more
Share - Bookmark

  • Download from
    VBN via VBN (Contribution for newspaper or weekly magazine, 2010)
  • Cite this publication