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

kavabean library [32 articles]

最近 kavabean さんのライブラリ .
  • Term graph rewriting
    (1998)
    by D Plump
    posted to rewriting termgraph by kavabean on 2005-11-17 13:59:27 as ** along with 1 person wnpx
  • Aiding Dependent Type Checking with Rewrite Rules
    by Yorck Huencke, Oege de Moor
    posted to dependent-types rewriting by kavabean on 2005-11-14 20:07:17 as *****
  • Compiling Embedded Languages
    (2000), pp. 9-27.
    by Conal Elliott, Sigbjorn Finne, Oege de Moor
    posted to dsl rewriting by kavabean on 2005-11-14 20:06:30 as **** along with 3 people hamish JeffreyPalmer scis0000001
  • DSL Implementation in
    by Metaocaml T Haskell
    posted to dsl metaprogramming multistage by kavabean on 2005-11-14 20:04:58 as ** along with 4 people stagediver kozima glaubersp Scis0000002
  • Scannerless generalized-LR parsing
    by E Visser
    posted to parsing by kavabean on 2005-10-27 22:28:58 as ** along with 2 people and 1 group dherman jrw NU-PRL
  • notes Just-in-time: On Strategy Annotations
    Electronic Notes in Theoretical Computer Science, Vol. 57 (2001)
    by Jaco van de Pol
    posted to obj rewriting strategy by kavabean on 2005-10-24 17:38:53 as ** along with 1 person Scis0000002
  • Termination of Rewriting with Strategy Annotations
    Lecture Notes in Computer Science, Vol. 2250 (2001), pp. 669-??.
    by Salvador Lucas
    posted to rewriting strategy termination by kavabean on 2005-10-24 17:37:38 as **
  • notes Rewriting with Strategies in ELAN: A Functional Semantics
    International Journal of Foundations of Computer Science, Vol. 12, No. 1. (2001), pp. 69-95.
    by Peter Borovansky, Claude Kirchner, Hne Kirchner, Christophe Ringeissen
    posted to rewriting strategy by kavabean on 2005-10-24 17:35:31 as **
  • Toward a general theory of names: binding and scope
    (2005), pp. 33-40.
    by James Cheney
    posted to naming substitution by kavabean on 2005-10-21 12:31:48 as **
  • Scrap your nameplate: (functional pearl)
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 180-191.
    by James Cheney
    posted to naming substitution by kavabean on 2005-10-21 12:27:13 as **
  • Technology and Courage
    (1991)
    by Sutherland
    posted to research strategy by kavabean on 2005-10-21 11:06:47 as ** along with 1 person Bluetulip
  • A New Approach to Generic Functional Programming
    (2000), pp. 119-132.
    by Ralf Hinze
    posted to design1 generic programming by kavabean on 2005-10-17 10:09:16 as ** along with 1 person americovargas
  • A fresh approach to representing syntax with static binders in functional programming
    SIGPLAN Not., Vol. 36, No. 10. (October 2001), pp. 1-1.
    by Andrew M Pitts
    posted to design1 substitution by kavabean on 2005-10-17 09:48:56 as **
  • Grammatical Framework
    J. Funct. Program., Vol. 14, No. 2. (March 2004), pp. 145-189.
    by Aarne Ranta
    posted to dependent notation parsing types by kavabean on 2005-10-17 09:44:26 as ** along with 4 people zednenem josefs bringert richardlp
  • Scrap your boilerplate with class: extensible generic functions
    (2005), pp. 204-215.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to programming design1 generic by kavabean on 2005-10-17 09:42:11 as ** along with 6 people hamish yallop bec voigt lomeo americovargas
  • Constraint based type inferencing in Helium
    (September 2003), pp. 59-80.
    by Bastiaan Heeren, Jurriaan Hage, Doaitse S Swierstra
    edited by -C, M ~zanker
    posted to constraints design1 types by kavabean on 2005-10-17 09:24:45 as **
  • Executable structural operational semantics in Maude
    (2003)
    by A Verdejo, Mart N Oliet
    posted to design1 maude rewriting semantics by kavabean on 2005-10-17 09:16:02 as ** along with 1 person scis0000001
  • Principles of Maude
    Vol. 4 (1996), pp. 65-89.
    by Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
    edited by José Meseguer
    posted to design1 maude rewriting by kavabean on 2005-10-17 09:15:14 as ** along with 1 person scis0000001
  • ASF+SDF Parsing Tools Applied to ELAN
    by MGJ van den Brand, C Ringeissen
    posted to design1 elan rewriting by kavabean on 2005-10-17 09:14:42 as **
  • An Overview of ELAN
    (1998)
    by P Borovansky, C Kirchner, H Kirchner, P Moreau, C Ringeissen
    posted to design1 rewriting by kavabean on 2005-10-17 09:14:04 as **
  • A Steve Vinoski Toward Integration Column from IEEE Internet Computing
    by Middleware D Matter
    posted to design1 rewriting by kavabean on 2005-10-17 09:13:34 as ** along with 1 person jrw
  • The rewriting calculus --- Part
    (2001)
    by H Cirstea, C Kirchner
    posted to design1 rewriting by kavabean on 2005-10-17 09:12:45 as ** along with 2 people jrw scis0000001
  • A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
    (2004)
    by Jacob Matthews, Robert B Findler, Matthew Flatt, Matthias Felleisen
    posted to context design1 rewriting by kavabean on 2005-10-17 09:11:59 as **
  • Functional Pearl: The Zipper
    J. Functional Programming, Vol. 7, No. 5. (September 1997), pp. 549-554.
    by Gerard Huet
    posted to substitution term by kavabean on 2005-10-17 09:07:08 as **
  • Functional pearl: i am not a number--i am a free variable
    (2004), pp. 1-9.
    by Conor Mcbride, James Mckinna
    posted to binding design1 substitution variable by kavabean on 2005-10-17 09:02:59 as ** along with 3 people eaubin msakai huitseeker
  • Dependent types in practical programming
    (1999), pp. 214-227.
    by Hongwei Xi, Frank Pfenning
    posted to constraints dependent design1 types by kavabean on 2005-10-17 09:00:27 as ** along with 8 people and 1 group rgrig yallop tautologico japple voigt geishagirls rysavy jimburton SRG_at_UCD
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
    Vol. 523 (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    edited by J Hughes
    posted to algebra programming by kavabean on 2005-10-11 20:01:26 as ***** along with 25 people and 4 groups pedagand dvgb rgrig jrw tautologico MattOConnor rahul ergodique damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin SRL SRG_at_UCD complogic Lambda the Ultimate
  • notes Monadic Corecursion: Definition, Fusion Laws and Applications
    Vol. 11 (1998)
    by Alberto Pardo
    edited by B Jacobs, L Moss, H Reichel, J Rutten
    posted to no-tag by kavabean on 2005-10-11 19:07:46 as ***
  • Notes on “Algebra of Programming”
    by Glenn Strong
    posted to algebra catamorphism category programming theory by kavabean on 2005-10-11 15:26:46 as ****
  • Conditional rewriting logic as a unified model of concurrency
    Theor. Comput. Sci., Vol. 96, No. 1. (April 1992), pp. 73-155.
    by Jos&\#233; Meseguer
    posted to concurrency conditional rewriting by kavabean on 2005-10-11 10:38:10 as ***** along with 1 person and 1 group xiemaisi AS-IIS_ReadingGroup
  • Derivatives of Regular Expressions
    J. ACM, Vol. 11, No. 4. (October 1964), pp. 481-494.
    by Janusz A Brzozowski
    posted to derivative expressions regular by kavabean on 2005-10-05 20:48:49 as ***** along with 7 people msakai egh zednenem mstone bunge jennie dfisher
  • Programmable type systems for domain specific languages
    (2002)
    by P Thiemann
    posted to dsl expressions regular by kavabean on 2005-10-05 20:46:16 as *** along with 2 people hamish JeffreyPalmer
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/kavabean

    RIS BibTeX RSS
    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.