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

twleungs library [110 articles]

Neue Artikel in twleungs Bibliothek.
  • Template meta-programming for haskell
    (2002)
    by T Sheard, S Jones
  • Incentives Build Robustness in BitTorrent
    (2003)
    by Bram Cohen
  • A measurement study of the bittorrent peer-to-peer file-sharing system
    (2004)
    by J Pouwelse, P Garbacki, D Epema, H Sips
  • Domain-Specific Languages: An Annotated Bibliography
    SIGPLAN Notices, Vol. 35, No. 6. (2000), pp. 26-36.
    by Arie v van Deursen, Paul Klint, Joost Visser
  • Faking it---simulating dependent types in Haskell
    (2001)
    by C Mcbride
  • Recursion is a computational effect
    (2000)
    by D Friedman, A Sabry
  • SETL fot Internet Data Processing
    by David Bacon
    posted to setl by twleung on 2005-01-10 23:27:47 as ** along with 1 person and 1 group assnoodles NU-PRL
  • Web Interactions
    by Paul T Graunke
    posted to continuations by twleung on 2005-01-10 23:27:03 as **** along with 1 person JeffreyPalmer
  • The ZINC experiment : an economical implementation of the ML language
    No. RT-0117. (February 1990)
    by Xavier Leroy
  • Reflections on Standard ML
    (1993), pp. 32-46.
    by David B Macqueen
    posted to ml by twleung on 2005-01-08 23:55:21 as *** along with 3 people and 1 group samth JeffreyPalmer lyongu NU-PRL
  • Separation of Object Identity Concerns
    by Pascal Costanza
  • Typesafe Dynamic Classification
    by Jürgen Schlegelmilch
    posted to types by twleung on 2005-01-08 23:54:49 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • Predicate Dispatching: A Unified Theory of Dispatch
    Vol. 1445 (1998), pp. 186-211.
    by Michael D Ernst, Crag Kaplan, Craig Chambers
  • Working for Free? - Motivations of Participating in Open Source Projects
    (2001)
    by A Hars, S Ou
  • An overview of Types in Compilation
    (1998)
    by X Leroy
    posted to compilers types by twleung on 2005-01-06 08:05:07 along with 2 people hamish JeffreyPalmer
  • Concurrent Haskell
    (FebruaryJanuary--FebruaryApril 1996), pp. 295-308.
    by Simon P Jones, Andrew Gordon, Sigbjorn Finne
  • The Small-World Phenomenon: An Algorithmic Perspective
    (# 2000)
    by Jon Kleinberg
  • What are principal typings and what are they good for?
    (1996), pp. 42-53.
    by Trevor Jim
    edited by Ac
  • How To Obtain Powerful Parsers That Are Elegant and Practical
    by P Pepper
    posted to compilers by twleung on 2005-01-06 08:03:29 along with 2 people JeffreyPalmer knopeace
  • Putting Type Annotations to Work
    (1996), pp. 54-67.
    by Martin Odersky, Konstantin Läufer
  • Continuation-Based Program Transformation Strategies
    J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
    by Mitchell Wand
  • Implementation Strategies for First-Class Continuations
    Higher Order Symbol. Comput., Vol. 12, No. 1. (April 1999), pp. 7-45.
    by William D Clinger, Anne H Hartheimer, Eric M Ost
  • Reasoning with continuations II: full abstraction for models of control
    (1990), pp. 161-175.
    by Dorai Sitaram, Matthias Felleisen
  • Representing monads
    (1994), pp. 446-457.
    by Andrzej Filinski
  • Models of continuations without continuations
    (1991), pp. 185-196.
    by Dorai Sitaram, Matthias Felleisen
  • Concurrent Programming in Erlang, Second Edition
    (1996)
    by Joe Armstrong, Robert Virding, Claes Wikström, Mike Williams
    posted to erlang by twleung on 2005-01-06 07:57:23 along with 1 person JeffreyPalmer
  • Design Patterns for Simulations in Erlang/OTP
    by Ulf Ekström
  • The Development of Erlang
    (1997), pp. 196-203.
    by Joe L Armstrong
    posted to erlang by twleung on 2005-01-06 07:56:49 along with 2 people JeffreyPalmer jrw
  • A Comparison Between Erlang and C++ for Implementation of Telecom Applications
    (1995)
    by T Et, J Grafstrom
    posted to erlang by twleung on 2005-01-06 07:56:33 along with 1 person JeffreyPalmer
  • Distributed Programming in Erlang
    (1994)
  • Exploring alternative memory architectures for Erlang: Implementation and performance evaluation
    (2002)
    posted to erlang by twleung on 2005-01-06 07:56:03 along with 2 people JeffreyPalmer jrw
  • The development of the HiPE system: Design and experience report
    (2002)
    posted to erlang by twleung on 2005-01-06 07:55:51 along with 1 person JeffreyPalmer
  • All you wanted to know about the HiPE compiler
    by But M Have
    posted to erlang by twleung on 2005-01-06 07:55:37 along with 2 people JeffreyPalmer jrw
  • The HiPE/x86 Erlang Compiler: System Description
    by And P Evaluation
    posted to erlang by twleung on 2005-01-06 07:55:24 along with 2 people JeffreyPalmer jrw
  • Discrete Event Simulation in Erlang
    by Andreas Ermedahl
  • Implementing DSLs in metaOCaml
    (2004), pp. 41-42.
    by Miguel Guerrero, Edward Pizzi, Robert Rosenbaum, Kedar Swadi, Walid Taha
  • Imperative streams—a monadic combinator library for synchronous programming
    Vol. 34, No. 1. (January 1998), pp. 261-272.
    by Enno Scholz
  • Monadic Parser Combinators
    No. NOTTCS-TR-96-4. (1996)
    by Graham Hutton, Erik Meijer
  • Evolving Domain Specific Languages
    by Project S We
  • Domain specific embedded compilers
    (1999), pp. 109-122.
    by Daan Leijen, Erik Meijer
  • A monadic combinator compiler compiler
    (2001)
  • Notable design patterns for domain-specific languages
    J. Syst. Softw., Vol. 56, No. 1. (February 2001), pp. 91-99.
    by Diomidis Spinellis
  • DSL implementation using staging and monads
    (1999), pp. 81-94.
    by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic
  • Compiling Embedded Languages
    (2000), pp. 9-27.
    by Conal Elliott, Sigbjorn Finne, Oege d de Moor
  • A Bytecode-Compiled, Type-safe, Multi-Stage Language
    by Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy
  • Combinators for Layered Software Architectures
    by Martijn M Schrage, Johan Jeuring, Doaitse Swierstra
  • A modular module system
    Journal of Functional Programming, Vol. 10, No. 3. (2000), pp. 269-303.
    by Xavier Leroy
  • Concrete syntax for data objects in functional languages
    (1988), pp. 96-105.
    by Annika Aasa, Kent Petersson, Dan Synek
    posted to dsl by twleung on 2005-01-01 21:06:20 along with 2 people and 1 group dherman JacquesC NU-PRL
  • Realistic Compilation by Program Transformation
    (1989), pp. 281-292.
    by Richard Kelsey, Paul Hudak
  • Streaming Queries over Streaming Data
    (2002)
    posted to dsms by twleung on 2004-12-31 23:38:20 along with 4 people JeffreyPalmer lar water451 neilc
  • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/twleung

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