Register | Log in | FAQ      [?] 
Recent | Recommended | Search | Authors | Tags | Export

Group: complogic - with tag type-theory [11 articles]

Recent papers posted by members of the complogic group with tag type-theory
  • Specification and Verification of a Formal System for Structurally Recursive Functions
    (1999), pp. 1-20.
    by Andreas Abel
    posted to programming-languages termination type-theory by mfrydr to the group complogic on 2008-06-09 18:51:52 as read
  • A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions
    (2008), pp. 371-382.
    by Brigitte Pientka
    posted to beluga contextual-modality hoas programming-languages type-theory by mfrydr to the group complogic on 2008-06-09 18:48:04 as read
  • A Type Discipline for Authorization in Distributed Systems
    (2007), pp. 31-48.
    by Cedric Fournet, Andrew Gordon, Sergio Maffeis
    posted to type-theory authorization by mfrydr to the group complogic on 2007-08-14 18:46:44 as read
  • The SLam calculus: programming with secrecy and integrity
    (1998), pp. 365-377.
    by Nevin Heintze, Jon G Riecke
    edited by M Ac
    posted to type-theory security programming-languages by mfrydr to the group complogic on 2007-08-14 18:27:47 as read
  • Run-time Principals in Information-flow Type Systems
    sp, Vol. 00 (2004)
    by Stephen Tse, Steve Zdancewic
    posted to type-theory information-flow by mfrydr to the group complogic on 2007-08-14 18:24:47 as read
  • Managing Policy Updates in Security-Typed Languages
    (2006), pp. 202-216.
    by Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic
    posted to type-theory security information-flow by mfrydr to the group complogic on 2007-08-12 21:35:36 as read
  • A Type Discipline for Authorization Policies
    Programming Languages and Systems (2005), pp. 141-156.
    by Cédric Fournet, Andrew D Gordon, Sergio Maffeis
    posted to type-theory authorization access-control by mfrydr to the group complogic on 2007-08-12 20:44:03 as read
  • Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing?
    (24 May 1999)
    by Neil Leslie
    posted to type-theory tutorial by mfrydr to the group complogic on 2007-06-20 19:10:37 as ***
  • Logical Frameworks - A Brief Introduction
    (2002)
    by Frank Pfenning
    posted to type-theory logical-frameworks by mfrydr to the group complogic on 2007-06-12 18:57:14 as **
  • Type Systems
    - (1997)
    by Luca Cardelli
    posted to type-theory survey programming-languages by mfrydr to the group complogic on 2007-05-08 16:51:02 as read along with 1 person ds
  • Contextual Modal Type Theory
    ACM Transactions on Computational Logic (2005)
    by Aleksander Nanevski, Frank Pfenning, Brigitte Pientka
    posted to type-theory programming-languages modal-logic by mfrydr to the group complogic on 2007-05-08 16:51:02 as read
    • Note: You may cite this page as: http://www.citeulike.org/group/2532/tag/type-theory

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.