Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

Malcohol library [7 articles]

Статьи, недавно добавленные в библиотеку Malcohol .
  • Refinement Types for Specification
    (1998)
    by E Denney
    posted to refinement specification types by Malcohol on 2006-07-12 10:26:35 as **
  • Power domains supporting recursion and failure
    (1992)
    by R Heckmann
    posted to domain power recursion by Malcohol on 2006-06-26 17:42:18 as **
  • Formal Semantics of Programming Languages: -- An Overview --
    Electronic Notes in Theoretical Computer Science, Vol. 148, No. 1. (1 February 2006), pp. 41-73.
    by Peter D Mosses
    posted to algebraic_semantics denotational_semantics operational_semantics by Malcohol on 2006-05-19 14:20:50 as ** along with 3 people oliverh leonardo mldechert
  • Fixed Point Calculus
    (2000)
    by Ronald Backhouse
    posted to fixpoint by Malcohol on 2006-05-16 15:03:32 as ** along with 3 people and 1 group greenrd scis0000001 AbnerCYH SRG_at_UCD
  • Formal Semantics
    (05 February 1993)
    by Glynn Winskel
    posted to denotational_semantics lazy operational_semantics strict types by Malcohol on 2006-04-24 11:40:36 as read along with 3 people hamish dsilva kontakte
  • Foundations for Programming Languages (Foundations of Computing)
    (01 September 1996)
    by John C Mitchell
    posted to denotational_semantics functional_programming operational_semantics types by Malcohol on 2006-04-24 11:38:02 as read along with 2 people voigt kontakte
  • A Theory of Program Refinement
    (1998)
    by E Denney
    posted to lambda-calculus refinement specification types by Malcohol on 2006-04-24 11:20:48 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/Malcohol

    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.