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

Group: Rightscom - library [191 articles]

Neue Artikel von Mitliedern der Gruppe Rightscom Gruppe
  • Simulating Creativity in Jazz Performance
    (1994), pp. 108-113.
    by Geber Ramalho, Jean G Ganascia
    posted to functional languages music by mahler to the group Rightscom on 2007-03-04 23:29:32 as **
  • Neural Methods for Non-Standard Data
    by Barbara Hammer, Brijnesh J Jain
    posted to no-tag by mahler to the group Rightscom on 2006-12-05 23:28:30 as **
  • Variations on a Kernel-Adatron Theme
    by Hugo D Navone, Tom Downs
    posted to no-tag by mahler to the group Rightscom on 2006-11-17 01:34:43 as **
  • Optimization of sparse matrix kernels for data mining
    (2000)
    by E Im, K Yelick
    posted to no-tag by mahler to the group Rightscom on 2006-11-08 17:39:01 as **
  • A Short Note on Linear Autarkies, q-Horn Formulas and the Complexity Index
    No. 99-26. (July, 1999)
    by Hans van Maaren
    posted to no-tag by mahler to the group Rightscom on 2006-11-02 19:12:04 as **
  • Combinatorial Laplacians of matroid complexes
    (1997)
    by W Kook, V Reiner, D Stanton
    posted to no-tag by mahler to the group Rightscom on 2006-10-08 18:05:30 as **
  • The Symmetric Eigenvalue Problem
    by Parlett
    posted to no-tag by mahler to the group Rightscom on 2006-10-07 03:41:08 as **
  • The death of computer languages, the birth of Intentional Programming
    (1995)
    by C Simonyi
    posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:55:26 as **
  • Little languages: little maintenance?
    (March0 1997)
    by Arie van Deursen, Paul Klint
    posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:54:56 as **
  • Mixin-Based Inheritance
    (1990), pp. 303-311.
    by Gilad Bracha, William Cook
    edited by Norman Meyrowitz
    posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:52:26 as ** along with 1 person spl
  • A Language Development Environment for Eclipse
    by MGJ van den Brand, HA de Jong, P Klint, AT Kooiker
    posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:14:27 as ** along with 2 people and 1 group garyfeng scis0000001 ReadingLab
  • Language-driven system design
    (January 2002)
    by S Mauw, W Wiersma, T Willemse
    posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:13:16 as **
  • An Examination of DSLs for Concisely Representing Model Traversals and Transformations
    (2003)
    by J Gray, G Karsai
    posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:12:43 as **
  • When And How To Develop Domain-Specific Languages
    by M Mernik, J Heering, AM Sloane
    posted to no-tag by mahler to the group Rightscom on 2006-07-06 22:12:18 as ** along with 2 people and 1 group JeffreyPalmer richards modeling
  • Storage-to-tree transducers with look-ahead
    Theor. Comput. Sci., Vol. 329, No. 1-3. (2004), pp. 115-158.
    by Tam&\#225;s Hornung, S&\#225;ndor V&\#225;gv&\#246;lgyi
    posted to no-tag by mahler to the group Rightscom on 2006-06-06 19:59:39 as **
  • Characterizing important subclasses of attributed tree transformations by macro tree transducers
    J. Autom. Lang. Comb., Vol. 6, No. 2. (May 2001), pp. 145-189.
    by Zolt&\#225;n F&\#252;l&\#246;p
    posted to no-tag by mahler to the group Rightscom on 2006-06-06 19:58:30 as **
  • Macro forest transducers
    Inf. Process. Lett., Vol. 89, No. 3. (February 2004), pp. 141-149.
    by Thomas Perst, Helmut Seidl
    posted to no-tag by mahler to the group Rightscom on 2006-06-06 19:57:17 as ** along with 1 person fservais
  • Pushdown machines for the macro tree transducer
    Theor. Comput. Sci., Vol. 42, No. 3. (June 1986), pp. 251-368.
    by J Engelfriet, H Vogler
    posted to no-tag by mahler to the group Rightscom on 2006-06-06 19:56:03 as **
  • Tabulation Techniques for Recursive Programs
    ACM Comput. Surv., Vol. 12, No. 4. (December 1980), pp. 403-417.
    by RS Bird
    posted to no-tag by mahler to the group Rightscom on 2006-06-06 19:41:37 as **
  • Top-down tree transducers with regular look-ahead
    Theory of Computing Systems, Vol. 10, No. 1. (December 1976), pp. 289-303.
    by Joost Engelfriet
    posted to no-tag by mahler to the group Rightscom on 2006-05-30 19:10:55 as **
  • Translation equations
    Commun. ACM, Vol. 13, No. 2. (February 1970), pp. 83-89.
    by Steven Vere
    posted to no-tag by mahler to the group Rightscom on 2006-05-30 19:07:24 as **
  • Some results in tree automata
    Theory of Computing Systems, Vol. 6, No. 3. (1972), pp. 334-342.
    by LS Levy, AK Joshi
    posted to no-tag by mahler to the group Rightscom on 2006-05-30 19:05:31 as **
  • Monadic Encapsulation in ML
    (1999), pp. 8-17.
    by Miley Semmelroth, Amr Sabry
    posted to monads by mahler to the group Rightscom on 2006-04-26 21:19:15 as **
  • From Interpreter to Compiler using Staging and Monads
    (1998)
    by T Sheard, Z Benaissa
    posted to compiler compilers monads multi-stage-languages partial-evaluation staged-programming staging by mahler to the group Rightscom on 2006-04-25 19:04:03 as ** along with 4 people and 1 group twleung dherman eaubin JeffreyPalmer NU-PRL
  • From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis
    Vol. 38, No. 9. (September 2003), pp. 125-125.
    by Harry G Mairson
    posted to monads by mahler to the group Rightscom on 2006-04-25 19:01:32 as ** along with 4 people and 1 group dherman rogargon scis0000001 nalf NU-PRL
  • Stochastic lambda calculus and monads of probability distributions
    Vol. 37, No. 1. (January 2002), pp. 154-165.
    by Norman Ramsey, Avi Pfeffer
    posted to monads probability by mahler to the group Rightscom on 2006-04-25 19:01:03 as ** along with 4 people and 1 group dherman tautologico mstone pedagand NU-PRL
  • Tagless staged interpreters for typed languages
    (2002)
    by E Pasalic, W Taha, T Sheard
    posted to monads staged staging by mahler to the group Rightscom on 2006-04-25 18:59:07 as ** along with 3 people twleung eaubin cdiggins
  • Recursive monadic bindings
    Vol. 35, No. 9. (September 2000), pp. 174-185.
    by Levent Erk&\#246;k, John Launchbury
    posted to haskell monads value-recursion by mahler to the group Rightscom on 2006-04-25 18:55:04 as ** along with 1 person spl
  • Putting curry-howard to work
    (2005), pp. 74-85.
    by Tim Sheard
    posted to curry howard by mahler to the group Rightscom on 2006-04-25 18:53:05 as ** along with 11 people and 2 groups draganigajic greenrd plaugg yallop thsutton voigt KarlKlose mcclurmc robotact jimburton americovargas SRG_at_UCD Lambda the Ultimate
  • Monads for Incremental Computing - Functional Pearl
    by Magnus Carlsson
    posted to incremental monads by mahler to the group Rightscom on 2006-04-25 18:52:41 as ** along with 4 people and 1 group greenrd JeffreyPalmer zednenem josefs SRG_at_UCD
  • Notions of Computation Determine Monads
    (2002), pp. 342-356.
    by Gordon D Plotkin, John Power
    posted to monads by mahler to the group Rightscom on 2006-04-25 18:51:50 as ** along with 6 people and 1 group greenrd JeffreyPalmer cedricboidin zednenem mstone glaubersp SRG_at_UCD
  • Backtracking, interleaving, and terminating monad transformers: (functional pearl)
    (2005), pp. 192-203.
    by Oleg Kiselyov, Chung-Chieh Shan, Daniel P Friedman, Amr Sabry
    posted to continuations monads search by mahler to the group Rightscom on 2006-04-25 18:51:22 as ** along with 4 people and 1 group greenrd voigt msakai AndreasSchropp SRG_at_UCD
  • There and back again: arrows for invertible programming
    (2005), pp. 86-97.
    by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer
    posted to arrow bidirectional monads by mahler to the group Rightscom on 2006-04-25 18:49:59 as ** along with 4 people and 1 group greenrd tautologico voigt mstone SRG_at_UCD
  • A principled approach to operating system construction in Haskell
    (2005), pp. 116-128.
    by Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach
    posted to monads operating-systems os by mahler to the group Rightscom on 2006-04-25 18:48:28 as ** along with 6 people draganigajic pejo voigt hannes mstone pedagand
  • Monadic encapsulation in ML
    Vol. 34, No. 9. (September 1999), pp. 8-17.
    by Miley Semmelroth, Amr Sabry
    posted to monads by mahler to the group Rightscom on 2006-04-25 18:46:48 as ** along with 1 person voigt
  • Building compilers by combining algebras
    Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the (2005), pp. 331-338.
    by G Kimmell, E Komp, P Alexander
    posted to algebras compilers monads by mahler to the group Rightscom on 2006-04-25 18:46:16 as ** along with 3 people jrw voigt brturn
  • Comprehending Queries
    (1999)
    by T Grust
    posted to monads queries by mahler to the group Rightscom on 2006-04-25 18:45:32 as ** along with 2 people zednenem AndreasSchropp
  • Verifying BDD Algorithms through Monadic Interpretation
    Lecture Notes in Computer Science, Vol. 2294 (January 2002), 182.
    by Sava Krstic, John Matthews
    posted to bdds monads by mahler to the group Rightscom on 2006-04-25 18:43:18 as ** along with 1 person voigt
  • Monadic regions
    Vol. 39, No. 9. (September 2004), pp. 103-114.
    by Matthew Fluet, Greg Morrisett
    posted to memory monads by mahler to the group Rightscom on 2006-04-25 18:41:32 as ** along with 4 people JeffreyPalmer zednenem josefs voigt
  • The categorical abstract machine
    Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202.
    by G Cousineau, PL Curien
    posted to no-tag by mahler to the group Rightscom on 2006-04-25 15:14:06 as ** along with 8 people and 1 group jespera LeonSmith msakai bonotake scis0000001 mstone rgb devnull pileWorks
  • Categories for Software Engineering
    (16 May 2004)
    by José L Fiadeiro, Jost L Fiadeiro
    posted to categogries by mahler to the group Rightscom on 2006-04-25 15:13:29 as ** along with 2 people bonotake mstone
  • Institutions: abstract model theory for specification and programming
    J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
    by Joseph A Goguen, Rod M Burstall
    posted to institutions by mahler to the group Rightscom on 2006-04-25 14:55:08 as ** along with 7 people msakai bonotake adrian_pigors scis0000001 masteraka marcinzalewski Scis0000002
  • Object Interaction
    (1992), pp. 200-208.
    by Jose F Costa, Amilcar Sernadas, Cristina Sernadas, Hans D Ehrich
    posted to categogries institutions interaction by mahler to the group Rightscom on 2006-04-25 14:54:19 as ** along with 2 people bonotake scis0000001
  • Extensible Language Implementation
    by Donovan M Kolbly
    posted to modules scheme by mahler to the group Rightscom on 2006-01-03 23:35:44 as ** along with 4 people JeffreyPalmer jrw robennals ryanc
  • Conceptual Modeling in a Deductive Object-Oriented Database Language
    by Mengchi Liu, Robert Suen
    posted to f-logic by mahler to the group Rightscom on 2006-01-03 17:05:19 as **
  • Transaction Logic Programming
    (1993), pp. 257-279.
    by Anthony J Bonner, Michael Kifer
    posted to logic transaction by mahler to the group Rightscom on 2006-01-03 16:50:52 as ** along with 1 person damaru
  • HILOG: A Foundation for Higher-Order Logic Programming
    Journal of Logic Programming, Vol. 15, No. 3. (1993), pp. 187-230.
    by Weidong Chen, Michael Kifer, David S Warren
    posted to f-logic hilog by mahler to the group Rightscom on 2006-01-03 16:49:22 as **
  • Logical Foundations of Object-Oriented and Frame-Based Languages
    Journal of ACM, Vol. 42 (July 1995), pp. 741-843.
    by Michael Kifer, Georg Lausen, James Wu
    posted to f-logic by mahler to the group Rightscom on 2006-01-03 16:48:48 as **
  • Logics for Databases and Information Systems
    (1998)
    edited by J Chomicki, G Saake
    posted to logic transaction by mahler to the group Rightscom on 2006-01-03 16:46:17 as **
  • TRIPLE: A Logic for Reasoning with Parameterized Views over Semi-Structured Data
    (2002)
    by S Decker, M Sintek, W Nejdl
    posted to f-logic rdf triple by mahler to the group Rightscom on 2006-01-03 16:42:51 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/group/600

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