Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

mahler's library [191 articles]

Recent papers added to mahler's library.
  • Simulating Creativity in Jazz Performance
    (1994), pp. 108-113.
    by Geber Ramalho, Jean G Ganascia
    posted to functional languages music by mahler on 2007-03-04 23:29:32 as ** along with 1 group Rightscom
  • Neural Methods for Non-Standard Data
    by Barbara Hammer, Brijnesh J Jain
    posted to no-tag by mahler on 2006-12-05 23:28:30 as ** along with 1 group Rightscom
  • Variations on a Kernel-Adatron Theme
    by Hugo D Navone, Tom Downs
    posted to no-tag by mahler on 2006-11-17 01:34:43 as ** along with 1 group Rightscom
  • Optimization of sparse matrix kernels for data mining
    (2000)
    by E Im, K Yelick
    posted to no-tag by mahler on 2006-11-08 17:39:01 as ** along with 1 group Rightscom
  • 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 on 2006-11-02 19:12:04 as ** along with 1 group Rightscom
  • Combinatorial Laplacians of matroid complexes
    (1997)
    by W Kook, V Reiner, D Stanton
    posted to no-tag by mahler on 2006-10-08 18:05:30 as ** along with 1 group Rightscom
  • The Symmetric Eigenvalue Problem
    by Parlett
    posted to no-tag by mahler on 2006-10-07 03:41:08 as ** along with 1 group Rightscom
  • The death of computer languages, the birth of Intentional Programming
    (1995)
    by C Simonyi
    posted to no-tag by mahler on 2006-07-06 22:55:26 as ** along with 1 group Rightscom
  • Little languages: little maintenance?
    (March0 1997)
    by Arie van Deursen, Paul Klint
    posted to no-tag by mahler on 2006-07-06 22:54:56 as ** along with 1 group Rightscom
  • Mixin-Based Inheritance
    (1990), pp. 303-311.
    by Gilad Bracha, William Cook
    edited by Norman Meyrowitz
    posted to no-tag by mahler on 2006-07-06 22:52:26 as ** along with 1 person and 1 group spl Rightscom
  • A Language Development Environment for Eclipse
    by MGJ van den Brand, HA de Jong, P Klint, AT Kooiker
    posted to no-tag by mahler on 2006-07-06 22:14:27 as ** along with 2 people and 2 groups garyfeng scis0000001 ReadingLab Rightscom
  • Language-driven system design
    (January 2002)
    by S Mauw, W Wiersma, T Willemse
    posted to no-tag by mahler on 2006-07-06 22:13:16 as ** along with 1 group Rightscom
  • An Examination of DSLs for Concisely Representing Model Traversals and Transformations
    (2003)
    by J Gray, G Karsai
    posted to no-tag by mahler on 2006-07-06 22:12:43 as ** along with 1 group Rightscom
  • When And How To Develop Domain-Specific Languages
    by M Mernik, J Heering, AM Sloane
    posted to no-tag by mahler on 2006-07-06 22:12:18 as ** along with 2 people and 2 groups JeffreyPalmer richards Rightscom 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 on 2006-06-06 19:59:39 as ** along with 1 group Rightscom
  • 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 on 2006-06-06 19:58:30 as ** along with 1 group Rightscom
  • 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 on 2006-06-06 19:57:17 as ** along with 1 person and 1 group fservais Rightscom
  • 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 on 2006-06-06 19:56:03 as ** along with 1 group Rightscom
  • 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 on 2006-06-06 19:41:37 as ** along with 1 group Rightscom
  • 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 on 2006-05-30 19:10:55 as ** along with 1 group Rightscom
  • Translation equations
    Commun. ACM, Vol. 13, No. 2. (February 1970), pp. 83-89.
    by Steven Vere
    posted to no-tag by mahler on 2006-05-30 19:07:24 as ** along with 1 group Rightscom
  • 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 on 2006-05-30 19:05:31 as ** along with 1 group Rightscom
  • Monadic Encapsulation in ML
    (1999), pp. 8-17.
    by Miley Semmelroth, Amr Sabry
    posted to monads by mahler on 2006-04-26 21:19:15 as ** along with 1 group Rightscom
  • 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 on 2006-04-25 19:04:03 as ** along with 4 people and 2 groups twleung dherman eaubin JeffreyPalmer NU-PRL Rightscom
  • 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 on 2006-04-25 19:01:32 as ** along with 4 people and 2 groups dherman rogargon scis0000001 nalf NU-PRL Rightscom
  • 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 on 2006-04-25 19:01:03 as ** along with 4 people and 2 groups dherman tautologico mstone pedagand NU-PRL Rightscom
  • Tagless staged interpreters for typed languages
    (2002)
    by E Pasalic, W Taha, T Sheard
    posted to monads staged staging by mahler on 2006-04-25 18:59:07 as ** along with 3 people and 1 group twleung eaubin cdiggins Rightscom
  • 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 on 2006-04-25 18:55:04 as ** along with 1 person and 1 group spl Rightscom
  • Putting curry-howard to work
    (2005), pp. 74-85.
    by Tim Sheard
    posted to curry howard by mahler on 2006-04-25 18:53:05 as ** along with 11 people and 3 groups draganigajic greenrd plaugg yallop thsutton voigt KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
  • Monads for Incremental Computing - Functional Pearl
    by Magnus Carlsson
    posted to incremental monads by mahler on 2006-04-25 18:52:41 as ** along with 4 people and 2 groups greenrd JeffreyPalmer zednenem josefs Rightscom SRG_at_UCD
  • Notions of Computation Determine Monads
    (2002), pp. 342-356.
    by Gordon D Plotkin, John Power
    posted to monads by mahler on 2006-04-25 18:51:50 as ** along with 6 people and 2 groups greenrd JeffreyPalmer cedricboidin zednenem mstone glaubersp Rightscom 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 on 2006-04-25 18:51:22 as ** along with 4 people and 2 groups greenrd voigt msakai AndreasSchropp Rightscom 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 on 2006-04-25 18:49:59 as ** along with 4 people and 2 groups greenrd tautologico voigt mstone Rightscom 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 on 2006-04-25 18:48:28 as ** along with 6 people and 1 group draganigajic pejo voigt hannes mstone pedagand Rightscom
  • Monadic encapsulation in ML
    Vol. 34, No. 9. (September 1999), pp. 8-17.
    by Miley Semmelroth, Amr Sabry
    posted to monads by mahler on 2006-04-25 18:46:48 as ** along with 1 person and 1 group voigt Rightscom
  • 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 on 2006-04-25 18:46:16 as ** along with 3 people and 1 group jrw voigt brturn Rightscom
  • Comprehending Queries
    (1999)
    by T Grust
    posted to monads queries by mahler on 2006-04-25 18:45:32 as ** along with 2 people and 1 group zednenem AndreasSchropp Rightscom
  • 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 on 2006-04-25 18:43:18 as ** along with 1 person and 1 group voigt Rightscom
  • Monadic regions
    Vol. 39, No. 9. (September 2004), pp. 103-114.
    by Matthew Fluet, Greg Morrisett
    posted to memory monads by mahler on 2006-04-25 18:41:32 as ** along with 4 people and 1 group JeffreyPalmer zednenem josefs voigt Rightscom
  • 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 on 2006-04-25 15:14:06 as ** along with 8 people and 2 groups jespera LeonSmith msakai bonotake scis0000001 mstone rgb devnull Rightscom pileWorks
  • Categories for Software Engineering
    (16 May 2004)
    by José L Fiadeiro, Jost L Fiadeiro
    posted to categogries by mahler on 2006-04-25 15:13:29 as ** along with 2 people and 1 group bonotake mstone Rightscom
  • 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 on 2006-04-25 14:55:08 as ** along with 7 people and 1 group msakai bonotake adrian_pigors scis0000001 masteraka marcinzalewski Scis0000002 Rightscom
  • Object Interaction
    (1992), pp. 200-208.
    by Jose F Costa, Amilcar Sernadas, Cristina Sernadas, Hans D Ehrich
    posted to categogries institutions interaction by mahler on 2006-04-25 14:54:19 as ** along with 2 people and 1 group bonotake scis0000001 Rightscom
  • Extensible Language Implementation
    by Donovan M Kolbly
    posted to modules scheme by mahler on 2006-01-03 23:35:44 as ** along with 4 people and 1 group JeffreyPalmer jrw robennals ryanc Rightscom
  • Conceptual Modeling in a Deductive Object-Oriented Database Language
    by Mengchi Liu, Robert Suen
    posted to f-logic by mahler on 2006-01-03 17:05:19 as ** along with 1 group Rightscom
  • Transaction Logic Programming
    (1993), pp. 257-279.
    by Anthony J Bonner, Michael Kifer
    posted to logic transaction by mahler on 2006-01-03 16:50:52 as ** along with 1 person and 1 group damaru Rightscom
  • 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 on 2006-01-03 16:49:22 as ** along with 1 group Rightscom
  • 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 on 2006-01-03 16:48:48 as ** along with 1 group Rightscom
  • Logics for Databases and Information Systems
    (1998)
    edited by J Chomicki, G Saake
    posted to logic transaction by mahler on 2006-01-03 16:46:17 as ** along with 1 group Rightscom
  • 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 on 2006-01-03 16:42:51 as ** along with 1 group Rightscom
    • Note: You may cite this page as: http://www.citeulike.org/user/mahler

    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.