新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

dalev library [34 articles]

最近 dalev さんのライブラリ .
  • Untitled
    posted to monads resumptions threads by dalev on 2005-08-10 23:06:05 as ** along with 2 people and 1 group JeffreyPalmer zednenem NU-PRL
  • Categorical Logic
    (2001)
    by Andrew M Pitts
    edited by S Abramsky, DM Gabbay, TSE Maibaum
    posted to categorical-logic category-theory logic by dalev on 2005-08-10 23:03:31 as ** along with 16 people and 4 groups jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
  • A Monadic Categorical Semantics for Threads
    by Jonathan Sobel, Steven E Ganz, Daniel P Friedman, Mitchell Wand
    posted to category-theory monad thread by dalev on 2005-08-04 18:46:05 as *** along with 8 people and 1 group jrw zednenem bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL
  • Trampolining Architectures
    by Steven E Ganz, Daniel P Friedman
    posted to thread trampoline by dalev on 2005-08-04 18:45:31 as ** along with 3 people and 1 group JeffreyPalmer zednenem eblood NU-PRL
  • Generic unification via two-level types and parameterized modules
    Vol. 36, No. 10. (October 2001), pp. 86-97.
    by Tim Sheard
    posted to generic-programming haskell monad two-level-types unification by dalev on 2005-08-02 16:20:41 as *** along with 1 person and 1 group dherman NU-PRL
  • Nominal unification
    Theor. Comput. Sci., Vol. 323, No. 1-3. (2004), pp. 473-497.
    by Christian Urban, Andrew M Pitts, Murdoch J Gabbay
    posted to equivariant-unification logic-programming nominal-rewriting nominal-unification rewriting unification by dalev on 2005-08-02 04:26:52 as read along with 1 group NU-PRL
  • Nominal rewriting systems
    (2004), pp. 108-119.
    by Maribel Fern&\#225;ndez, Murdoch J Gabbay, Ian Mackie
    posted to alpha-conversion fm nominal-rewriting rewriting by dalev on 2005-08-02 04:26:13 as ** along with 1 group NU-PRL
  • Safety analysis versus type inference
    Inf. Comput., Vol. 118, No. 1. (April 1995), pp. 128-141.
    by Jens Palsberg, Michael I Schwartzbach
    posted to flow-analysis safety-analysis type-inference by dalev on 2005-08-02 04:23:51 as read along with 1 group NU-PRL
  • A first-order one-pass CPS transformation
    Theor. Comput. Sci., Vol. 308, No. 1-3. (2003), pp. 239-257.
    by Olivier Danvy, Lasse R Nielsen
    posted to cps first-order-cps one-pass-cps by dalev on 2005-08-02 04:22:56 as ** along with 1 person and 2 groups mvermaat NU-PRL functional programming
  • A generic account of continuation-passing styles
    (1994), pp. 458-471.
    by John Hatcliff, Olivier Danvy
    posted to administrative-reductions cps monad monadic-normal-form by dalev on 2005-08-02 04:21:19 as read along with 1 person and 1 group dsilva NU-PRL
  • CPS transformation of flow information
    J. Funct. Program., Vol. 13, No. 5. (September 2003), pp. 905-923.
    by Jens Palsberg, Mitchell Wand
    posted to cfa cps flow-analysis by dalev on 2005-08-02 04:19:21 as ** along with 2 people and 1 group twleung dherman NU-PRL
  • Syntactic accidents in program analysis: on the impact of the CPS transformation
    J. Funct. Program., Vol. 13, No. 5. (September 2003), pp. 867-904.
    by Daniel Damian, Olivier Danvy
    posted to analysis-accuracy cps static-analysis by dalev on 2005-08-02 04:18:34 as ** along with 1 group NU-PRL
  • Verifying CPS transformations in Isabelle/HOL
    (2003), pp. 1-8.
    by Yasuhiko Minamide, Koji Okuma
    posted to cps isabelle theorem-proving by dalev on 2005-08-02 04:17:45 as read along with 2 people and 1 group msakai mvermaat NU-PRL
  • Some Lambda Calculus and Type Theory Formalized
    J. Autom. Reason., Vol. 23, No. 3. (November 1999), pp. 373-409.
    by James Mckinna, Robert Pollack
    posted to alpha-equivalence formal-modeling theorem-proving by dalev on 2005-08-02 04:15:05 as ** along with 1 group NU-PRL
  • On understanding types, data abstraction, and polymorphism
    ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
    by Luca Cardelli, Peter Wegner
    posted to abstract-types adts polymorphism univeral-types by dalev on 2005-08-02 04:14:10 as *** along with 7 people and 1 group jpbernardy marcinzalewski voigt Bluetulip cogumbreiro nodakai chandlerc NU-PRL
  • The view from the left
    J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
    by Conor Mcbride, James Mckinna
    posted to alpha-equivalence dependent-types epigram theorem-proving by dalev on 2005-08-02 04:13:11 as read along with 2 people and 2 groups greenrd dmitri83 NU-PRL SRG_at_UCD
  • Type checking dependent (record) types and subtyping
    J. Funct. Program., Vol. 10, No. 2. (March 2000), pp. 137-166.
    by Gustavo Betarte
    posted to dependent-types theorem-proving type-checking by dalev on 2005-08-02 04:11:20 as ** along with 1 group NU-PRL
  • Faking it Simulating dependent types in Haskell
    J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392.
    by Conor Mcbride
    posted to dependent-types haskell type-classes by dalev on 2005-08-02 04:10:32 as ** along with 1 person and 1 group americovargas NU-PRL
  • The scheme 311 compiler an exercise in denotational semantics
    (1984), pp. 356-364.
    by William Clinger
    posted to denotational-semantics scheme by dalev on 2005-08-02 04:08:05 as read along with 2 people and 1 group samth ryanc NU-PRL
  • A poor man's concurrency monad
    J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
    by Koen Claessen
    posted to concurrency haskell monad by dalev on 2005-08-02 04:07:16 as read along with 3 people and 2 groups pedagand keigoi janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup
  • Quasiquotation in Lisp
    (1999), pp. 4-12.
    by Alan Bawden
    posted to lisp metaprogramming quasiquote quote by dalev on 2005-08-02 04:05:54 as ** along with 9 people and 1 group twleung marcoil dherman JacquesC hamish JeffreyPalmer rwtodd jkominek jfischer NU-PRL
  • Reflective metalogical frameworks
    ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
    by David Basin, Manuel Clavel, Jos&\#233; Meseguer
    posted to induction maude membership-equational-logic reflection by dalev on 2005-08-02 04:02:21 as ** along with 3 people and 1 group scis0000001 Benja Scis0000002 NU-PRL
  • The mystery of the tower revealed: a non-reflective description of the reflective tower
    (1986), pp. 298-307.
    by Mitchell Wand, Daniel P Friedman
    posted to denotational-semantics reflection by dalev on 2005-08-02 03:59:49 as *** along with 1 person and 1 group Benja NU-PRL
  • Duplication and partial evaluation --- for a better understanding of reflective languages -
    Lisp and Symbolic Computation, Vol. 9, No. 2/3. (/ 1996), pp. 203-241.
    by Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa
    posted to black blonde brown partial-evaluation reflection by dalev on 2005-08-02 03:58:04 as read along with 1 person and 1 group Benja NU-PRL
  • Making Reliable Distributed Systems in the Presence of Software Errors
    by Joe Armstrong
    posted to concurrency erlang fault-tolerance by dalev on 2005-08-02 03:56:57 as read along with 5 people and 1 group egh JeffreyPalmer davidmihalcik pjdonald 7oby NU-PRL
  • Denotational proof languages
    (2000)
    by Konstantinos Arkoudas
    posted to athena curry-howard dpl proof-language theorem-proving verification by dalev on 2005-08-02 03:53:24 as ** along with 1 group NU-PRL
  • Explicit substitutions
    (1990), pp. 31-46.
    by M Abadi, PL Curien, JJ Levy
    posted to alpha-equivalence debruijn explicit-substitutions substitution by dalev on 2005-08-02 03:51:37 as ** along with 1 person and 1 group voigt NU-PRL
  • Symbolic Simulation: An ACL2 Approach
    (1998), pp. 334-350.
    by Strother S Moore
    posted to acl2 symbolic-execution theorem-proving verification by dalev on 2005-05-05 18:47:50 as *** along with 1 group NU-PRL
  • An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
    Software Engineering, Vol. 23, No. 4. (1997), pp. 203-213.
    by Matt Kaufmann, Strother S Moore
    posted to acl2 lisp theorem-proving verification by dalev on 2005-05-05 18:45:10 as read along with 1 person and 1 group hamish NU-PRL
  • Cryptofibring (Extended Abstract)
    by Carlos Caleiro, Jaime Ramos
    posted to combining-logics cryptofibring fibration fibring-logics by dalev on 2005-03-08 01:47:28 as ** along with 1 group NU-PRL
  • Fibring logics with topos semantics
    Journal of Logic and Computation, in print.
    by M Coniglio, A Sernadas, C Sernadas
    posted to combining-logics fibration fibring-logics by dalev on 2005-03-08 01:46:57 as ** along with 1 person and 1 group kaqui NU-PRL
  • Mechanisms for combining logics
    (1999)
    by C Caleiro, C Sernadas, A Sernadas
    posted to combining-logics fibration fibring-logics by dalev on 2005-03-08 01:46:28 as ** along with 1 person and 1 group Scis0000002 NU-PRL
  • Program fragments, linking, and modularization
    (1997), pp. 266-277.
    by Luca Cardelli
    posted to linking modules separate-compilation by dalev on 2004-12-30 17:20:06 as read along with 2 people and 1 group Bluetulip KarlKlose NU-PRL
  • A New Approach to Abstract Syntax Involving Binders
    (1999), pp. 214-224.
    by Murdoch Gabbay, Andrew Pitts
    edited by G Longo
    posted to abstract-syntax alpha-equivalence by dalev on 2004-12-09 19:10:45 as read along with 1 person and 1 group samth NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/dalev

    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.