registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

glaubersps library [135 articles]

Neue Artikel in glaubersps Bibliothek.
  • Isabelle HOL - The Tutorial
    by Tobias Nipkow
    posted to isabelle logic by glaubersp on 2007-08-22 19:09:38 as ****
  • Isabelle's Logics: HOL
    by T Nipkow, L Paulson, M Wenzel
    posted to isabelle logic by glaubersp on 2007-08-22 19:09:21 as ****
  • Data Categories
    Vol. 18 (1996), pp. 21-28.
    by Barry C Jay
    edited by ME Houle, P Eades
    posted to category datatypes by glaubersp on 2007-04-06 23:34:27 as **
  • Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types
    Lecture Notes in Computer Science, Vol. 2044 (2001), pp. 217-??.
    by Barry C Jay
    posted to datatypes functional by glaubersp on 2007-04-06 23:34:09 as **
  • Functorial Lambda-Calculus
    (2000)
    by CB Jay
    posted to category functional by glaubersp on 2007-04-06 23:33:48 as **
  • Recursive Types in Kleisli Categories
    (1992)
    by Alex K Simpson
    posted to category recursion types by glaubersp on 2007-04-06 23:33:32 as **
  • Covariant types
    Theoretical Computer Science, Vol. 185, No. 2. (1997), pp. 237-258.
    by Barry C Jay
    posted to category types by glaubersp on 2007-04-06 23:32:56 as **
  • Denotational Semantics for a Higher-Order Extension of the Monadic #-Calculus
    by C Hartonas
    posted to denotational-semantics higher-order monads by glaubersp on 2007-04-06 23:31:21 as **
  • A Syntax for Linear Logic
    Vol. 802 (1993), pp. 513-529.
    by Philip Wadler
    edited by S Brookes, M Main, A Melton, M Mislove, D Schmidt
    posted to linear-logic by glaubersp on 2007-04-06 23:30:20 as ** along with 1 person EdwardKmett
  • Parallel Functional Programming --- An Annotated Bibliography
    No. 93-24. (1993)
    by Wolfgang Schreiner
    posted to functional parallel by glaubersp on 2007-04-06 23:29:55 as ** along with 1 person and 1 group mingguo SIG
  • Strong Categorical Datatypes I
    Vol. 13 (1992), pp. 141-169.
    by Robin, Dwight Spencer
    edited by RAG Seely
    posted to category datatypes by glaubersp on 2007-04-06 23:29:24 as ** along with 1 person msakai
  • Linear Logic, Monads and the Lambda Calculus
    (1996), pp. 420-431.
    by PN Benton, Philip Wadler
    posted to lambda-calculus linear-logic monads by glaubersp on 2007-04-06 23:28:03 as **
  • On an Intuitionistic Modal Logic
    Studia Logica, Vol. 65, No. 3. (2000), pp. 383-416.
    by GM Bierman, VCV de Paiva
    posted to modal-logic by glaubersp on 2007-04-06 23:27:33 as ** along with 2 people and 1 group sheila1 kozima complogic
  • A Cumulative Monadic Metalanguage
    by Eugenio Moggi
    posted to monads by glaubersp on 2007-04-06 23:27:15 as **
  • Monad transformers and modular interpreters
    (1995), pp. 333-343.
    by Sheng Liang, Paul Hudak, Mark Jones
    edited by Ac
    posted to monads by glaubersp on 2007-04-06 23:26:43 as ** along with 10 people and 1 group draganigajic greenrd JeffreyPalmer tautologico zednenem Benja jsala conal americovargas pedagand SRG_at_UCD
  • Towards a Mobile Haskell
    (2003)
    by A Bois, P Trinder, H Loidl
    posted to haskell mobile by glaubersp on 2007-04-06 23:26:14 as **
  • Implementing Mobile Haskell
    (2004)
    by A Bois, P Trinder, H Loidl
    posted to haskell mobile by glaubersp on 2007-04-06 23:25:51 as **
  • Concurrency Abstractions for Concurrent Haskell
    by Volker Stolz, Frank Huch
    posted to concurrency haskell by glaubersp on 2007-04-06 23:25:35 as **
  • A Taste of Linear Logic
    (1993)
    by PL Wadler
    posted to linear-logic by glaubersp on 2007-04-06 23:25:08 as **
  • Functional Languages and Graphical User Interfaces
    No. YCS-94-223.ps.Z. (94)
    by R Noble, C Runciman
    posted to functional io userinterface by glaubersp on 2007-04-06 23:24:24 as **
  • A Categorical Analysis of Multi-Level Languages
    (1999)
    by Benaissa, E Moggi, W Taha, T Sheard
    posted to category by glaubersp on 2007-04-06 23:23:47 as **
  • Linear logic, monads and the lambda calculus
    (# jul 1996)
    by N Benton, P Wadler
    posted to lambda-calculus linear-logic monads by glaubersp on 2007-04-06 23:23:14 as ** along with 4 people and 1 group dherman tautologico ds kozima NU-PRL
  • Monads for Programming Languages
    by John Shutt
    posted to monads by glaubersp on 2007-04-06 23:22:52 as **
  • Program calculation properties of continuous algebras
    (1991)
    by M Fokkinga, E Meijer
    posted to category by glaubersp on 2007-04-06 23:22:01 as ** along with 3 people msakai scis0000001 KarlKlose
  • Control Categories and Duality: On the Categorical Semantics of the Lambda-Mu Calculus
    Mathematical Structures in Computer Science, Vol. 11, No. 2. (2001), pp. 207-260.
    by Peter Selinger
    posted to category lambda-calculus semantics by glaubersp on 2007-04-06 23:21:36 as **
  • Categorical Logic
    (2001)
    by Andrew M Pitts
    edited by S Abramsky, DM Gabbay, TSE Maibaum
    posted to categorical-logic by glaubersp on 2007-04-06 23:21:19 as ** along with 16 people and 4 groups dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
  • Constructive Lattice Theory
    (1993)
    by Ronald Backhouse
    posted to category by glaubersp on 2007-04-06 23:21:06 as ** along with 1 person Constructivity
  • Pointwise Relational Programming
    (2000)
    by De Moor, Gibbons
    posted to category semantics by glaubersp on 2007-04-06 23:20:48 as **
  • Lambda Calculi with Types
    Vol. 2 (1992)
    by Henk Barendregt
    posted to lambda-calculus types by glaubersp on 2007-04-06 23:19:58 as ** along with 9 people and 1 group darinm pnkfelix tautologico xiemaisi Benja ds mmarcus jimburton d23 AS-IIS_ReadingGroup
  • Subtyping dependent types
    Theoretical Computer Science, Vol. 266, No. 1--2. (2001), pp. 273-309.
    by David Aspinall, Adriana Compagnoni
    posted to types by glaubersp on 2007-04-06 23:19:42 as **
  • Computation and Deduction
    (2000)
    by Frank Pfenning
    posted to no-tag by glaubersp on 2007-04-06 23:19:17 as **
  • A Guided Tour in the Topos of Graphs
    by Sebastiano Vigna
    posted to category graphs by glaubersp on 2007-04-06 23:19:09 as **
  • Classifying categories for partial equational logic
    (2002)
    by L Schr
    posted to category equational-logic partial by glaubersp on 2007-04-06 23:18:52 as **
  • Graph-based logic and sketches ii: Finite product categories and equational logic
    (1997)
    by A Bagchi, C Wells
    posted to category by glaubersp on 2007-04-06 23:17:47 as **
  • A Survey of Categorical Computation: Fixed Points, Partiality, Combinators ... Control?
    Bulletin of the European Association for Theoretical Computer Science, Vol. 43 (1991), pp. 285-312.
    by D Spencer
    posted to category by glaubersp on 2007-04-06 23:17:29 as ** along with 1 person scis0000001
  • Monad-independent dynamic logic in HasCasl
    (2003)
    by L Schröder, T Mossakowski
    posted to casl logic monads by glaubersp on 2007-04-06 23:16:51 as ***** along with 1 person jsala
  • Formal methods - selected historical references
    No. UMCS-92-12-2. (1992)
    by CB Jones, AM Mccauley
    posted to formal-methods by glaubersp on 2007-04-06 23:16:18 as ** along with 1 person ds
  • Typed memory management via static capabilities
    ACM Transactions on Programming Languages and Systems, Vol. 22, No. 4. (2000), pp. 701-771.
    by David Walker, Karl Crary, Greg Morrisett
    posted to memory-management types by glaubersp on 2007-04-06 23:15:32 as **
  • The categorical theory of self-similarity
    (1999)
    by P Hines
    posted to category by glaubersp on 2007-04-06 23:15:04 as ** along with 1 person scis0000001
  • The Partial Lambda-Calculus
    (1988)
    by Eugenio Moggi
    posted to lambda-calculus partial by glaubersp on 2007-04-06 23:14:25 as **
  • A Category-Theoretic Characterization of Functional Completeness
    Theoretical Computer Science, Vol. 70, No. 2. (1990), pp. 193-211.
    by Giuseppe Longo, Eugenio Moggi
    posted to category functional by glaubersp on 2007-04-06 23:14:04 as **
  • Monads and Modular Term Rewriting
    (1997), pp. 69-86.
    by Christoph Lueth, Neil Ghani
    posted to monads by glaubersp on 2007-04-06 23:12:35 as ** along with 1 person radico
  • Monads and Comonads in Intensional Semantics
    No. CMU-CS-93-140. (1993)
    by Stephen Brookes, Kathryn Van Stone
    posted to monads semantics by glaubersp on 2007-04-06 23:11:59 as **
  • Coalgebraic monads
    by N Ghani, C Uth, F de Marchi
    posted to category monads by glaubersp on 2007-04-06 23:11:41 as **
  • Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
    by Alexander Kurz
    posted to category by glaubersp on 2007-04-06 23:11:21 as **
  • Recursion and Corecursion have the Same Equational Logic
    by L Moss
    posted to no-tag by glaubersp on 2007-04-06 23:11:02 as **
  • Categorical Term Rewriting: Monads and Modularity
    by Christoph Lüth
    posted to category monads by glaubersp on 2007-04-06 23:10:40 as ** along with 2 people scis0000001 Scis0000002
  • Logical Construction of Final Coalgebras
    by Luigi Santocanale
    posted to category by glaubersp on 2007-04-06 23:10:21 as **
  • Dualizing Initial Algebras
    by Neil Ghani, Christoph Lüth, Federico de Marchi, John Power
    posted to category monads by glaubersp on 2007-04-06 23:10:03 as **
  • Mendler-Style Inductive Types, Categorically
    Nordic Journal of Computing, Vol. 6, No. 3. (1999), pp. 343-361.
    by Tarmo Uustalu, Varmo Vene
    posted to category types by glaubersp on 2007-04-06 23:09:38 as ** along with 1 person huitseeker
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/glaubersp

    Result page: 1 2 3 Next 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.