新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

EdwardKmett library [29 articles]

最近 EdwardKmett さんのライブラリ .
  • Recursion schemes from comonads
    Nordic J. of Computing, Vol. 8, No. 3. (2001), pp. 366-390.
    by Tarmo Uustalu, Varmo Vene, Alberto Pardo
    posted to calculus comonads lambda recursion by EdwardKmett on 2006-10-26 02:06:31 as read along with 2 people and 1 group greenrd zednenem SRG_at_UCD
  • Haskell is not not ML
    (2006)
    by Ben Rudiak-Gould, Alan Mycroft, Simon P Jones
    posted to lambda logic symmetric type calculus duality by EdwardKmett on 2006-09-04 13:34:09 as read along with 3 people zednenem josefs scook0
  • various papers on process categories
    by Dave Spooner
    posted to category-theory process by EdwardKmett on 2006-08-25 09:45:05 as ***
  • notes A Relevant Analysis of Natural Deduction
    Journal of Logic and Computation, Vol. 8, No. 6. (1998), pp. 809-838.
    by Samin S Ishtiaq, David J Pym
    posted to dependent linear logic types by EdwardKmett on 2006-08-21 02:01:13 as ***
  • A Typed Lambda Calculus with Categorical Type Constructors
    (1987), pp. 140-157.
    by Tatsuya Hagino
    posted to calculus category-theory lambda pay-to-read by EdwardKmett on 2006-08-18 12:08:16 as ** along with 1 person msakai
  • Computational lambda-calculus and monads
    Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
    by E Moggi
    posted to calculus lambda monads by EdwardKmett on 2006-08-18 12:06:17 as ***** along with 8 people and 1 group JeffreyPalmer voigt msakai bonotake dmitri83 aleks Benja mcclurmc Compilers
  • A Survey of Definitions of n-Category
    (25 Jul 2001)
    by Tom Leinster
    posted to category-theory n-categories by EdwardKmett on 2006-08-18 12:05:20 as ** along with 2 people jrw kaqui
  • The dual of substitution is redecoration
    (2002), pp. 99-110.
    by Tarmo Uustalu, Varmo Vene
    posted to comonads by EdwardKmett on 2006-08-18 12:01:07 as *** along with 7 people and 1 group greenrd jrw greg_restall zednenem josefs voigt msakai SRG_at_UCD
  • Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
    Generative Programming and Component Engineering (2005)
    by Jacques Carette, Oleg Kiselyov
    posted to monads multi-stage by EdwardKmett on 2006-08-18 11:59:38 as ** along with 4 people and 1 group dherman JeffreyPalmer zednenem ryanc NU-PRL
  • Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation
    Thirty Five Years of Automating Mathematics (2003)
    by Gérard Huet
    edited by Fairouz Kamareddine
    posted to contexts linear by EdwardKmett on 2006-08-18 11:51:35 as ** along with 5 people and 3 groups dherman eaubin JacquesC zednenem namin NU-PRL functional programming Lambda the Ultimate
  • From dynamic binding to state via modal possibility
    (2003), pp. 207-218.
    by Aleksandar Nanevski
    posted to modal possibility by EdwardKmett on 2006-08-18 11:48:14 as ** along with 2 people and 1 group dherman alec NU-PRL
  • The origins of structural operational semantics
    (2003)
    by G Plotkin
    posted to operational semantics by EdwardKmett on 2006-08-18 11:45:15 as **** along with 1 person and 1 group dherman NU-PRL
  • Comonadic functional attribute evaluation
    by Tarmo Uustalu, Varmo Vene
    posted to comonads by EdwardKmett on 2006-08-18 11:44:04 as read along with 4 people and 2 groups dherman greenrd jrw zednenem NU-PRL SRG_at_UCD
  • Computational Comonads and Intensional Semantics
    Vol. 177 (1992), pp. 1-44.
    by Stephen Brookes, Shai Geva
    edited by MP Fourman, PT Johnstone, AM Pitts
    posted to comonads semantics by EdwardKmett on 2006-08-18 11:43:27 as **** along with 6 people and 1 group dherman jrw zednenem msakai dmitri83 meiersi NU-PRL
  • Relating Categorical Semantics for Intuitionistic Linear Logic
    Applied Categorical Structures, Vol. 13, No. 1. (January 2005), pp. 1-36.
    by Maietti Maria, Maneggia Paola, Paiva Valeria, Ritter Eike
    posted to category-theory linear logic pay-to-read by EdwardKmett on 2006-08-18 11:41:14 as * along with 1 person adrian_pigors
  • A Monadic Categorical Semantics for Threads
    by Jonathan Sobel, Steven E Ganz, Daniel P Friedman, Mitchell Wand
    posted to category-theory monads threading by EdwardKmett on 2006-08-18 11:38:56 as ** along with 8 people and 1 group dalev jrw zednenem bfraser dmitri83 jsala neuralwarp ps_ttf NU-PRL
  • Modules over monads and lambda-calculi
    by Hirschowitz
    posted to calculus lambda monads pure systems type by EdwardKmett on 2006-08-18 11:11:46 as ***** along with 1 person dmitri83
  • A Lambda Calculus for Quantum Computation
    (3 April 2004)
    by Andre v van Tonder
    posted to calculus computation lambda quantum by EdwardKmett on 2006-08-18 11:07:58 as *** along with 4 people jrw dmitri83 tov bendiken
  • Scrap your Nameplate - Functional Pearl
    by James Cheney
    posted to templating by EdwardKmett on 2006-08-18 10:55:07 as ** along with 4 people jrw zednenem jburnim AndreasSchropp
  • A Module Calculus for Pure Type Systems
    (1997)
    by Judicael Courant
    edited by R Hindley
    posted to modules pure systems type by EdwardKmett on 2006-08-18 10:51:06 as ** along with 1 person Benja
  • 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 EdwardKmett on 2006-08-18 04:06:11 as read along with 1 person glaubersp
  • Secure Information Flow and CPS
    Lecture Notes in Computer Science, Vol. 2028 (2001), pp. 46-??.
    by Steve Zdancewic, Andrew C Myers
    posted to continuations information linear security by EdwardKmett on 2006-08-18 04:04:48 as *
  • Linear Continuations
    (1992), pp. 27-38.
    by Andrzej Filinski
    posted to continuations linear by EdwardKmett on 2006-08-18 04:03:41 as ****
  • On Affine Typing and Completeness of CPS
    by Josh Berdine, Peter W O'Hearn, Hayo Thielecke
    posted to continuations linear by EdwardKmett on 2006-08-18 04:02:44 as ***
  • Linear Continuation-Passing
    by Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke
    posted to continuations linear by EdwardKmett on 2006-08-18 04:01:45 as ***
  • Linear Continuation-Passing
    by Josh Berdine, Peter O'Hearn
    posted to continuations linear by EdwardKmett on 2006-08-18 04:01:16 as ***
  • notes Declarative Continuations and Categorical Duality
    (1989)
    by Andrzej Filinski
    posted to calculus lambda symmetric by EdwardKmett on 2006-08-17 20:30:53 as *****
  • notes A Constructive Restriction of the $λμ$-Calculus
    (1999)
    by Tristan Crolard
    posted to category-theory by EdwardKmett on 2006-08-17 20:20:56 as ***
  • Subtractive logic
    Theoretical Computer Science, Vol. 254, No. 1--2. (2001), pp. 151-185.
    by Tristan Crolard
    posted to category-theory by EdwardKmett on 2006-08-17 20:19:23 as read along with 2 people and 1 group dherman msakai NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/EdwardKmett

    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.