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

JacquesC's library [103 articles]

最近录入 JacquesC's 文献库.
  • 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
  • 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
  • Proceedings of Calculemus 2006
    (2006)
    edited by Silvio Ranise, Anna Bigatti
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Mining Maple Code for Contracts
    (2006)
    by J Carette, S Forrest
    edited by Silvio Ranise, Anna Bigatti
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 person and 1 group saforrest NU-PRL
  • Partial Evaluation and Residual Theorems in Computer Algebra
    (2006)
    by M Kucera, J Carette
    edited by Silvio Ranise, Anna Bigatti
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Program Verification by Calculating Relations
    (2006), pp. 151-156.
    by J Carette, R Janicki, Y Zhai
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Linear Algebra using Maple's LargeExpressions package
    (2006)
    by J Carette, W Zhou, DJ Jeffrey, MB Monagan
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Hierarchical representations with signatures for large expression management
    (2006)
    by W Zhou, J Carette, DJ Jeffrey, MB Monagan
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
    Vol. 4014 (2006)
    edited by Tarmo Uustalu
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Bimonadic Semantics for Basic Pattern Matching Calculi.
    Vol. 4014 (2006), pp. 253-273.
    by Wolfram Kahl, Jacques Carette, Xiaoheng Ji
    edited by Tarmo Uustalu
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:16 as read along with 1 group NU-PRL
  • Gaussian Elimination: a case study in efficient genericity with MetaOCaml
    Science of Computer Programming, Vol. 62, No. 1. (2006), pp. 3-24.
    by Jacques Carette
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005)
    Vol. 151, No. 1. (2005)
    edited by Jacques Carette, William M Farmer
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • COG-PETS: Code Generation for Parameter Estimation in Time Series
    (2005)
    by CK Anand, J Carette, A Curtis, D Miller
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • 12th Working Conference on Reverse Engineering (WCRE 2005), 7-11 November 2005, Pittsburgh, PA, USA
    (November 2005)
    edited by Andrea Lucia, Susan E Sim
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Symbolic Interpretation of Legacy Assembly Language.
    (November 2005), pp. 23-32.
    by Jacques Carette, Pulak K Chowdhury
    edited by Andrea Lucia, Susan E Sim
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • A Comprehensive Kinetic Model for Wet Oxidation of Silicon Germanium Alloys
    (May 2005)
    by MA rabie, YM haddara, J carette
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • A kinetic model for the oxidation of silicon germanium alloys
    Journal of Applied Physics, Vol. 98 (October 2005)
    by MA rabie, YM haddara, J carette
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • 8th International Conference on Relational Methods in Computer Science (RelMiCS 8) and 3rd International Workshop on Applications of Kleene Algebra, St. Catherines, Ontario, Canada, Feb.~22--26, 2005
    Vol. 3929 (2005)
    edited by Ivo Düntsch, Wendy Mccaull, Michael Winter
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Control-Flow Semantics for Assembly-Level Data-Flow Graphs
    Vol. 3929 (2005), pp. 147-160.
    by Wolfram Kahl, Christopher K Anand, Jacques Carette
    edited by Ivo Düntsch, Wendy Mccaull, Michael Winter
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Declarative Assembler
    No. 20. (October 2004)
    by Christopher K Anand, Jacques Carette, Wolfram Kahl, Cale Gibbard, Ryan Lortie
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Multi-stage programming with Functors and Monads: eliminating abstraction overhead from generic code
    (2005), pp. 256-274.
    by Jacques Carette, Oleg Kiselyov
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Visual Tracking Employing Maple Code Generation
    (2004)
    by C Anand, J Carette, A Korobkine
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Understanding expression simplification
    (2004), pp. 72-79.
    by Jacques Carette
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Telescoping in the Context of Symbolic Summation in Maple
    Journal of Symbolic Computation, Vol. 38, No. 4. (October 2004), pp. 1303-1326.
    by SA Abramov, JJ Carette, KO Geddes, HQ Le
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read along with 1 group NU-PRL
  • Trustable communication between mathematical systems
    (2003), pp. 58-68.
    by J Carette, W Farmer, J Wajs
    edited by T Hardin, R Rioboo
    posted to bibtex-import by JacquesC on 2006-09-17 19:11:15 as read 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
  • 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
  • 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
  • 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
  • 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 namin dherman eaubin zednenem EdwardKmett Lambda the Ultimate functional programming NU-PRL
  • 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 jimburton msakai shimomura marcinzalewski yallop spl tov iff americovargas 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
  • 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 4 people and 1 group jyasskin voigt msakai dmitri83 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 14 people and 2 groups samth dherman greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins dfisher americovargas 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 10 people and 2 groups 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 12 people and 7 groups rabourn sylvienoel russellbeale ryanshaw serwe marije archer aku8000 wigelius mrajanen christiand samsalisbury NU-PRL CSCW sims_phd_cohort_2005 digital_youth Virtual_Reality HCI-Bham HCI-IHTE-TUT
  • Bridging the gulf: a common intermediate language for ML and Haskell
    (1998), pp. 49-61.
    by Simon P Jones, Mark Shields, John Launchbury, Andrew Tolmach
    posted to compilers haskell ml by JacquesC on 2005-04-24 18:47:39 as read along with 5 people and 1 group JeffreyPalmer rwtodd voigt spl kowey NU-PRL
  • 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
  • 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 13 people and 4 groups davidr dragonrez anar jfr yas yama_tah pliz scis0000001 oannes cerkut atbrew zeppe kintoki NU-PRL T_lab Regulomics_UCHSC contact-id
  • 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 7 people and 2 groups hamish JeffreyPalmer cedricboidin stagediver bunge mldechert jimburton NU-PRL Lambda the Ultimate
  • the denotational semantics of staged execution of open code
    (2004)
    by A Pitts, T Sheard
    posted to denotational-semantics open-code staged-programming by JacquesC on 2005-01-23 14:42:09 as read along with 2 people and 1 group twleung eaubin NU-PRL
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/JacquesC

    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.