注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

JacquesC's library [76 articles]

最近录入 JacquesC's ordered by to_read.
  • Monad transformers and modular interpreters
    (1995), pp. 333-343.
    by Sheng Liang, Paul Hudak, Mark Jones
    posted to interpreters monads by JacquesC on 2005-01-23 14:36:01 as **** along with 6 people and 1 group eaubin rwtodd cedricboidin oliverh bfraser pile NU-PRL
  • Generalized symbolic execution for model checking and testing
    (2003)
    by S Khurshid, C Pasareanu, W Visser
    posted to abstract-interpretation symbolic-execution by JacquesC on 2005-01-21 01:38:36 as **** along with 1 person and 1 group gchpaco NU-PRL
  • Generalized Functions and Infinitesimals
    (8 Oct 2006)
    by Jf
    posted to generalized-functions infinitesimals by JacquesC on 2006-10-10 15:35:58 as *** along with 1 group NU-PRL
  • CPS Translations and Applications: The Cube and Beyond (Preliminary Report)
    (1996)
    by Gilles Barthe, John Hatcliff, MHB Morten
    edited by O Danvy
    posted to continuations cps dependent-types by JacquesC on 2006-04-05 02:47:21 as *** along with 3 people and 1 group dherman japple fensef NU-PRL
  • notes Combining decision procedures for the reals
    (31 Jan 2006)
    by Jeremy Avigad, Harvey Friedman
    posted to decision_procedure reals symbolic-computation by JacquesC on 2006-02-01 18:16:13 as *** along with 1 group NU-PRL
  • Automatic enumeration of regular objects
    (12 Jul 2005)
    by Marni Mishna
    posted to d-finite species by JacquesC on 2005-08-03 18:19:59 as *** along with 1 group NU-PRL
  • Building interpreters by composing monads
    (1994), pp. 472-492.
    by Guy Steele
    edited by Ac
    posted to interpreters monads by JacquesC on 2005-05-01 14:34:10 as *** along with 5 people and 1 group rwtodd cedricboidin bunge Benja glaubersp NU-PRL
  • Learning the parts of objects by non-negative matrix factorization.
    Nature, Vol. 401, No. 6755. (21 October 1999), pp. 788-791.
    by DD Lee, HS Seung
    posted to information-theory learning matrix-factorization by JacquesC on 2005-01-26 03:28:02 as *** along with 14 people and 4 groups davidr dragonrez anar jfr yas yama_tah pliz scis0000001 oannes cerkut atbrew zeppe kintoki cager NU-PRL T_lab Regulomics_UCHSC contact-id
  • Observable Sequentiality and Full Abstraction
    (1992), pp. 328-342.
    by Robert Cartwright, Matthias Felleisen
    posted to denotational-semantics full-abstraction by JacquesC on 2005-01-23 14:39:17 as *** along with 2 people and 1 group eaubin ds NU-PRL
  • Notable design patterns for domain-specific languages
    J. Syst. Softw., Vol. 56, No. 1. (February 2001), pp. 91-99.
    by Diomidis Spinellis
    posted to design-patterns dsl by JacquesC on 2005-01-03 00:34:40 as *** along with 11 people and 1 group RalfMitschke twleung hamish JeffreyPalmer stagediver leonardo francoisl dynamix klinsz mldechert JavaJoe NU-PRL
  • Linear Abadi and Plotkin Logic
    (1 Nov 2006)
    by Lars Birkedal, Rasmus E Møgelberg, Rasmus L Petersen
    posted to coinduction linear-logic programming-logic recursive-types by JacquesC on 2006-11-02 13:52:04 as ** along with 1 group NU-PRL
  • Towards a Type System for Analyzing JavaScript Programs
    European Symposium On Programming (2005)
    by Peter Thiemann
    posted to javascript type-system by JacquesC on 2006-04-05 03:04:27 as ** along with 1 person and 1 group dherman NU-PRL
  • The Formulae-as-Types Notion of Control
    (1990), pp. 47-57.
    by Timothy G Griffin
    posted to continuations control curry-howard by JacquesC on 2006-04-05 02:50:13 as ** along with 2 people and 1 group dherman ds NU-PRL
  • Towards Applicative Relational Programming
    (28 Feb 2006)
    by H Ibrahim, MH van Emden
    posted to relational-programming by JacquesC on 2006-03-01 15:50:08 as ** along with 1 person and 1 group ps_ttf NU-PRL
  • Implementing an Efficient Theorem Prover
    (2003)
    by Alexandre Riazanov
    posted to theorem-provers by JacquesC on 2006-02-01 18:18:42 as ** along with 1 person and 1 group stavros 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 category-theory symbolic-computation by JacquesC on 2005-05-04 00:22:52 as ** along with 5 people and 3 groups dherman eaubin zednenem EdwardKmett namin NU-PRL functional programming Lambda the Ultimate
  • Strongly typed heterogeneous collections
    (2004), pp. 96-107.
    by Oleg Kiselyov, Ralf L&\#228;mmel, Keean Schupke
    posted to collections haskell type-theory by JacquesC on 2005-05-03 03:40:24 as ** along with 9 people and 1 group yallop spl tov iff americovargas msakai marcinzalewski shimomura jimburton NU-PRL
  • Bananas in space: extending fold and unfold to exponential types
    (1995), pp. 324-333.
    by Erik Meijer, Graham Hutton
    posted to category-theory haskell type-theory by JacquesC on 2005-05-01 14:32:30 as ** along with 5 people and 1 group jyasskin voigt msakai dmitri83 spl NU-PRL
  • Implementing extensible theorem provers
    (1999)
    by K Fisler, S Krishnamurthi, K Gray
    posted to expression-problem extensibility theorem-provers by JacquesC on 2005-04-24 19:06:36 as ** along with 1 person and 1 group dherman NU-PRL
  • Modular Object-Oriented Programming with Units and Mixins
    Vol. 34(1) (1999), pp. 94-104.
    by Robert B Findler, Matthew Flatt
    posted to expression-problem extensibility mixins modules by JacquesC on 2005-04-24 19:05:17 as ** along with 5 people and 1 group dherman JeffreyPalmer zednenem ryanc brothers NU-PRL
  • Quasiquotation in Lisp
    (1999), pp. 4-12.
    by Alan Bawden
    posted to lisp meta-programming by JacquesC on 2005-04-24 19:02:56 as ** along with 9 people and 1 group dalev twleung marcoil dherman hamish JeffreyPalmer rwtodd jkominek jfischer NU-PRL
  • The Expression Problem Revisited
    European Conference on Object-Oriented Programming (2004)
    by Mads Torgersen
    posted to expression-problem extensibility by JacquesC on 2005-04-24 19:02:06 as ** along with 2 people and 1 group dherman Leho NU-PRL
  • Theorems for Free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to free-theorems polymorphism type-theory by JacquesC on 2005-04-24 19:00:45 as ** along with 16 people and 2 groups draganigajic samth dherman greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins dfisher americovargas pedagand NU-PRL SRG_at_UCD
  • Linear types can change the world!
    (1990), pp. 347-359.
    by P Wadler
    edited by M Broy, C Jones
    posted to linear-types by JacquesC on 2005-04-24 18:59:11 as ** along with 11 people and 2 groups draganigajic dherman hamish JeffreyPalmer rwtodd jrw tautologico bfraser robennals ds mcclurmc NU-PRL Lambda the Ultimate
  • Concatenate, reverse and map vanish for free
    Vol. 37, No. 9. (September 2002), pp. 14-25.
    by Janis Voigtl&\#228;nder
    posted to free-theorems polymorphism rank-2-types by JacquesC on 2005-04-24 18:57:55 as ** along with 4 people and 1 group rwtodd pejo voigt msakai NU-PRL
  • What is beautiful is usable
    Interacting with Computers, Vol. 13, No. 2. (December 2000), pp. 127-145.
    by N Tractinsky, A Katz, D Ikar
    posted to usability by JacquesC on 2005-04-24 18:51:01 as ** along with 13 people and 7 groups rabourn sylvienoel russellbeale ryanshaw serwe marije archer aku8000 wigelius mrajanen christiand samsalisbury randomname NU-PRL CSCW sims_phd_cohort_2005 digital_youth Virtual_Reality HCI-Bham HCI-IHTE-TUT
  • Principles of programming with complex objects and collection types
    Theoretical Computer Science, Vol. 149, No. 1. (1995), pp. 3-48.
    by Peter Buneman, Shamim Naqvi, Val Tannen, Limsoon Wong
    posted to functional query-languages by JacquesC on 2005-02-11 15:15:39 as ** along with 5 people and 2 groups hellige JeffreyPalmer zednenem ezrakilty jog NU-PRL WebTech
  • A Modal $λ$ Calculus with Iteration and Case Constructs
    No. RR-3322.
    by Pierre Leleu
    posted to lambda-calculus meta-programming by JacquesC on 2005-01-29 14:29:42 as ** along with 1 person and 1 group JeffreyPalmer NU-PRL
  • Modular Domain Specific Languages and Tools
    (1998), pp. 134-142.
    by Paul Hudak
    edited by P Devanbu, J Poulin
    posted to dsl by JacquesC on 2005-01-23 14:43:58 as ** along with 8 people and 2 groups draganigajic hamish JeffreyPalmer cedricboidin stagediver bunge mldechert jimburton NU-PRL Lambda the Ultimate
  • Meta-programming With Built-in Type Equality
    by Exte N Ed
    posted to dependent-types gadt meta-programming by JacquesC on 2005-01-23 14:40:55 as ** along with 1 person and 1 group eaubin NU-PRL
  • Monadic Parser Combinators
    No. NOTTCS-TR-96-4. (1996)
    by Graham Hutton, Erik Meijer
    posted to combinator monads by JacquesC on 2005-01-23 14:37:08 as ** along with 7 people and 2 groups twleung eaubin JeffreyPalmer jrw roi joelh mcclurmc NU-PRL Lambda the Ultimate
  • Information flow analysis in logical form
    (2004)
    by T Amtoft, A Banerjee
    posted to abstract-interpretation by JacquesC on 2005-01-21 01:40:26 as ** along with 2 people and 1 group gchpaco aysubetincan NU-PRL
  • How to make ad-hoc polymorphism less ad hoc
    (1989), pp. 60-76.
    by P Wadler, S Blott
    posted to haskell polymorphism type-classes by JacquesC on 2005-01-06 02:04:16 along with 9 people and 2 groups draganigajic dherman yallop robennals ben_moseley dwehr RalfMitschke jpbernardy pedagand NU-PRL complogic
  • Recursion is a computational effect
    (2000)
    by D Friedman, A Sabry
    posted to effects haskell monads recursion by JacquesC on 2005-01-06 02:03:33 along with 4 people and 2 groups twleung dherman greenrd jrw NU-PRL SRG_at_UCD
  • Continuation-Based Program Transformation Strategies
    J. ACM, Vol. 27, No. 1. (January 1980), pp. 164-180.
    by Mitchell Wand
    posted to continuations program-transformation by JacquesC on 2005-01-05 01:16:32 along with 9 people and 2 groups kvm samth twleung rgrig JeffreyPalmer voigt pile nominolo americovargas NU-PRL SRG_at_UCD
  • 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
    posted to continuations implementation by JacquesC on 2005-01-05 01:15:42 along with 11 people and 1 group assnoodles samth twleung marcoil jacob eaubin JeffreyPalmer yallop ryanc tov jkominek NU-PRL
  • Representing monads
    (1994), pp. 446-457.
    by Andrzej Filinski
    posted to continuations effects monads by JacquesC on 2005-01-05 01:04:28 along with 4 people and 1 group twleung dherman JeffreyPalmer voigt NU-PRL
  • Models of continuations without continuations
    (1991), pp. 185-196.
    by Dorai Sitaram, Matthias Felleisen
    posted to continuations functional by JacquesC on 2005-01-05 01:03:53 along with 5 people and 1 group samth twleung jacob JeffreyPalmer dsilva NU-PRL
  • The similarity metric
    (5 August 2004)
    by Ming Li, Xin Chen, Xin Li, Bin Ma, Paul Vitanyi
    posted to information-theory kolmogorov-complexity similarity by JacquesC on 2005-01-04 01:49:42 along with 15 people and 9 groups camster nettraq sourada korakot frednicolier flip parmentierf mafwood A_Olympia mortimer arthit gangli maqianli mpoloton markymaypo NU-PRL Philosophy_of_Information UoY-CS-AIG dbk-lab Blog_and_Wiki_Research automatic_summarization tulip AI ARTFL
  • An information-theoretic definition of similarity
    (1998), pp. 296-304.
    by Dekang Lin
    posted to information-theory similarity by JacquesC on 2005-01-04 01:48:50 along with 24 people and 17 groups jiria camster dbk sourada korakot LeightonP frednicolier parmentierf mortimer mote lwilliams jelsas jtextori barry ingo gangli garyfeng okarsligil onlyme gaudan macavity1g Tronhus CitoJam sgoetz WIT-KA streptomyces NU-PRL Philosophy_of_Information UoY-CS-AIG dbk-lab Blog_and_Wiki_Research structural_bioinformatics tulip ReadingLab ASR ISI NLP SLA Bioinformatics LanguageAndBrain AI
  • Predicate Dispatching: A Unified Theory of Dispatch
    Vol. 1445 (1998), pp. 186-211.
    by Michael D Ernst, Crag Kaplan, Craig Chambers
    posted to dynamic-dispatch multimethods oop predicate-dispatch by JacquesC on 2005-01-04 01:47:04 along with 5 people and 4 groups twleung hamish A_Olympia greenrd water451 NU-PRL Philosophy_of_Information Blog_and_Wiki_Research SRG_at_UCD
  • Combinators for Layered Software Architectures
    by Martijn M Schrage, Johan Jeuring, Doaitse Swierstra
    posted to combinator dsl by JacquesC on 2005-01-03 00:37:34 along with 4 people and 1 group twleung hamish JeffreyPalmer stagediver NU-PRL
  • A Bytecode-Compiled, Type-safe, Multi-Stage Language
    by Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy
    posted to meta-programming metaocaml staged-programming by JacquesC on 2005-01-03 00:36:45 along with 3 people and 1 group twleung JeffreyPalmer Ema NU-PRL
  • Compiling Embedded Languages
    (2000), pp. 9-27.
    by Conal Elliott, Sigbjorn Finne, Oege d de Moor
    posted to compilers dsl by JacquesC on 2005-01-03 00:35:57 along with 4 people and 1 group twleung hamish JeffreyPalmer cedricboidin NU-PRL
  • DSL implementation using staging and monads
    (1999), pp. 81-94.
    by Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic
    posted to dsl monads staged-programming by JacquesC on 2005-01-03 00:35:18 along with 6 people and 2 groups twleung hamish greenrd JeffreyPalmer cedricboidin zednenem NU-PRL SRG_at_UCD
  • Putting Type Annotations to Work
    (1996), pp. 54-67.
    by Martin Odersky, Konstantin Läufer
    posted to hindley-milner type-theory by JacquesC on 2005-01-03 00:33:39 along with 3 people and 1 group twleung JeffreyPalmer pedagand NU-PRL
  • A monadic combinator compiler compiler
    (2001)
    by C Camarao, L Figueiredo
    posted to combinator compilers haskell monads by JacquesC on 2005-01-03 00:31:13 along with 4 people and 1 group twleung JeffreyPalmer tautologico zednenem NU-PRL
  • Domain specific embedded compilers
    (1999), pp. 109-122.
    by Daan Leijen, Erik Meijer
    posted to compilers dsl staged-programming by JacquesC on 2005-01-03 00:30:02 along with 12 people and 2 groups draganigajic sourada twleung dherman jacob hamish JeffreyPalmer cedricboidin msakai ryanc jimburton dfisher NU-PRL Lambda the Ultimate
  • Synthesizing Object-Oriented and Functional Design to Promote Re-Use
    (1998), pp. 91-113.
    by Shriram Krishnamurthi, Matthias Felleisen, Daniel P Friedman
    posted to final-algebras functional initial-algebras oop by JacquesC on 2005-01-02 17:01:29 along with 4 people and 3 groups samth dherman A_Olympia spl NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
  • An introduction to Grothendieck topologies, fibered categories and descent theory
    (28 December 2004)
    by Angelo Vistoli
    posted to fibered-categories grothendieck topology by JacquesC on 2004-12-30 14:59:29 along with 3 people and 1 group NitinCR jrw proportional NU-PRL
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/JacquesC/order/to_read

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