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

greenrd library [144 articles]

最近 greenrd さんのライブラリ .
  • Excluded middle without definite descriptions in the theory of constructions
    (1990)
    by J Seldin
    posted to choice classical logic by greenrd on 2007-10-16 22:22:42 as ***
  • Relationally-Parametric Polymorphic Contracts
    (2007)
    by A Guha, J Matthews, RB Findler, S Krishnamurthi
    posted to contracts dynamic-languages formal-methods polymorphism by greenrd on 2007-08-11 11:50:57 as * along with 1 group SRG_at_UCD
  • A Head-to-Head Comparison of de Bruijn Indices and Names
    (2006)
    by Stefan Berghofer, Christian Urban
    posted to metaprogramming by greenrd on 2007-05-17 17:58:49 as ** along with 1 group SRG_at_UCD
  • A Principled Approach to Version Control
    (2007)
    by Andreas Loh, Wouter Swierstra, Daan Leijen
    posted to category-theory formal-methods revision-control by greenrd on 2007-03-30 22:42:09 as read along with 1 group SRG_at_UCD
  • Developing (Meta)Theory of lambda-calculus in the Theory of Contexts
    by Marino Miculan
    posted to contexts hoas by greenrd on 2007-03-14 13:37:59 as ***** along with 1 group SRG_at_UCD
  • A comparison of formalizations of the meta-theory of a language with variable bindings in Isabelle
    No. 07. (2001)
    by A Momigliano, S Ambler, R Crole
    posted to hoas isabelle provers by greenrd on 2007-03-12 20:32:36 as read along with 1 group SRG_at_UCD
  • Using category theory to design implicit conversions and generic operators
    (1980), pp. 211-258.
    by John C Reynolds
    posted to category-theory coercions by greenrd on 2007-02-23 12:58:47 as ** along with 1 person and 1 group creswick SRG_at_UCD
  • A Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language
    (2007)
    by A Chlipala
    posted to coq dependent-types by greenrd on 2007-02-20 21:10:19 as *** along with 1 group SRG_at_UCD
  • Even higher order abstract syntax: typeclasses vs GADT
    (January 2007)
    by O Kiselyov
    posted to type-classes hoas gadts by greenrd on 2007-02-04 16:19:05 as read along with 1 group SRG_at_UCD
  • Extensional equality in intensional type theory
    Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420.
    by T Altenkirch
    posted to equivalence extensionality type-theory by greenrd on 2006-12-29 19:56:20 as **** along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research SRG_at_UCD
  • Comparing approaches to generic programming in Haskell
    (2006)
    by R Hinze, J Jeuring, A Löh
    posted to generic-programming haskell by greenrd on 2006-12-22 15:23:05 as **** along with 1 group SRG_at_UCD
  • The +CAL Algorithm Language
    by L Lamport
    posted to pseudocode specification-languages by greenrd on 2006-12-21 00:10:18 as **** along with 1 group SRG_at_UCD
  • Ruler: Programming Type Rules
    Lecture Notes in Computer Science : Functional and Logic Programming (2006), pp. 30-46.
    by Atze Dijkstra, Doaitse S Swierstra
    posted to types by greenrd on 2006-12-11 23:38:22 as read along with 1 group SRG_at_UCD
  • eskimo: experimenting with Skeletons in the Shared Address Model
    Parallel Processing Letters, Vol. 13, No. 3. (September 2003), pp. 449-460.
    by M Aldinucci
    posted to concurrency by greenrd on 2006-12-09 19:57:36 as **** along with 1 group SRG_at_UCD
  • Type-safe cast: (functional pearl)
    (2000), pp. 58-67.
    by Stephanie Weirich
    posted to generic-programming haskell by greenrd on 2006-12-09 17:13:36 as read along with 1 group SRG_at_UCD
  • A Syntactic Approach to Type Soundness
    Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94.
    by Andrew K Wright, Matthias Felleisen
    posted to proofs types by greenrd on 2006-12-08 00:08:17 as **** along with 11 people and 2 groups nominolo sclv mcclurmc vkp tautologico bunge tov KarlKlose glaubersp mvermaat gkuan Lambda the Ultimate SRG_at_UCD
  • Type-level Computation Using Narrowing in Ωmega.
    (2006)
    by T Sheard
    posted to dependent-types provers by greenrd on 2006-12-05 16:23:00 as read along with 1 group SRG_at_UCD
  • notes Position Paper: Thoughts on Programming with Proof Assistants
    (2006)
    by A Chlipala
    posted to proofs provers by greenrd on 2006-12-05 15:54:25 as read along with 1 group SRG_at_UCD
  • Modular Type Classes
    (2007)
    by D Dreyer, R Harper, MMT Chakravarty
    posted to modules type-classes by greenrd on 2006-11-20 01:15:12 as ** along with 1 group SRG_at_UCD
  • Associated types with class
    (2005), pp. 1-13.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones, Simon Marlow
    posted to associated-types generic-programming haskell polymorphism type-classes by greenrd on 2006-11-05 10:22:24 as ** along with 10 people and 2 groups jpbernardy samth zednenem bec voigt msakai bonotake spl gkuan americovargas NU-PRL SRG_at_UCD
  • A Rationale for Semantically Enhanced Library Languages
    (2005)
    by B Stroustrup
    posted to language-design metaprogramming by greenrd on 2006-11-02 18:12:30 as ** along with 1 person and 1 group alvi_cam SRG_at_UCD
  • Convergence in language design: a case of lightning striking four times in the same place
    (2006)
    by Peter V Roy
    posted to distributed fault-tolerance language-design pedagogy by greenrd on 2006-10-28 17:38:18 as * along with 1 person and 1 group hellige SRG_at_UCD
  • Making Implicit Parameters Explicit
    (2005)
    by A Dijkstra, SD Swierstra
    posted to haskell implicit-context by greenrd on 2006-10-22 02:36:55 as read along with 1 group SRG_at_UCD
  • Implicit parameters: dynamic scoping with static types
    (2000), pp. 108-118.
    by Jeffrey R Lewis, John Launchbury, Erik Meijer, Mark B Shields
    posted to aop haskell implicit-context types by greenrd on 2006-10-22 01:07:07 as read along with 1 person and 1 group spl SRG_at_UCD
  • Scrap more boilerplate: reflection, zips, and generalised casts
    Vol. 39, No. 9. (September 2004), pp. 244-255.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to generic-programming haskell by greenrd on 2006-10-18 23:27:12 as read along with 4 people and 2 groups samth yallop spl americovargas NU-PRL SRG_at_UCD
  • Machine Obstructed Proof: How many months can it take to verify 30 assembly instructions?
    (2006)
    by N Benton
    posted to coq formal-methods proofs provers by greenrd on 2006-10-18 19:56:33 as read along with 1 person and 1 group cappetschulat SRG_at_UCD
  • Inferring type isomorphisms generically
    by F Atanassow, J Jeuring
    posted to generic-programming haskell type-isomorphisms by greenrd on 2006-10-08 17:48:16 as ***** along with 1 person and 1 group zednenem SRG_at_UCD
  • What Do High-Level Memory Models Mean for Transactions?
    (2006)
    by D Grossman, J Manson, W Pugh
    posted to jmm memory-models stm by greenrd on 2006-10-03 12:48:20 as read along with 1 group SRG_at_UCD
  • Software Transactions are to Concurrency as Garbage Collection is to Memory Management
    by D Grossman
    posted to stm by greenrd on 2006-09-28 11:11:43 as read along with 1 person and 1 group pjdonald SRG_at_UCD
  • Scrap your nameplate: (functional pearl)
    (2005), pp. 180-191.
    by James Cheney
    posted to generic-programming by greenrd on 2006-08-29 19:31:32 as ***** along with 3 people and 1 group voigt msakai keigoi SRG_at_UCD
  • Hybrid type checking
    Vol. 41, No. 1. (January 2006), pp. 245-256.
    by Cormac Flanagan
    posted to dependent-types esc formal-methods hybrid-type-checking by greenrd on 2006-08-29 19:09:34 as ** along with 3 people and 2 groups dsilva bec janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup
  • Scrap your boilerplate: a practical design pattern for generic programming
    Vol. 38, No. 3. (March 2003), pp. 26-37.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to generic-programming haskell by greenrd on 2006-08-29 17:00:20 as read along with 3 people and 2 groups samth yallop americovargas NU-PRL SRG_at_UCD
  • Formalising a High-Performance Microkernel
    (2006)
    by K Elphinstone, G Klein, R Kolanski
    posted to formal-methods haskell operating-systems provers by greenrd on 2006-08-22 18:29:12 as read along with 1 group SRG_at_UCD
  • On category theory as a (meta) ontology for information systems research
    (2001), pp. 59-69.
    by Michael Johnson, CNG Dampney
    posted to category-theory ontology by greenrd on 2006-08-18 00:34:45 as **** along with 2 people and 2 groups mstone rgb SRG_at_UCD pileWorks
  • A modal calculus for effect handling
    No. CMU-CS-03-149. (2003)
    by A Nanevski
    posted to monads by greenrd on 2006-08-11 16:14:24 as ** along with 1 person and 1 group zednenem SRG_at_UCD
  • Integrating Software Construction And Software Deployment
    by E Dolstra
    posted to build-systems functional packaging by greenrd on 2006-08-02 13:32:53 as **** along with 1 group SRG_at_UCD
  • Extended Static Checking for Haskell
    (2006)
    by Dana N Xu
    posted to esc formal-methods haskell by greenrd on 2006-07-26 03:53:18 as read along with 1 person and 1 group yang SRG_at_UCD
  • Associated type synonyms
    (2005), pp. 241-253.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones
    posted to dependent-types haskell by greenrd on 2006-07-19 23:40:19 as ***** along with 4 people and 1 group yallop kinaba voigt americovargas SRG_at_UCD
  • Sexy types in action
    SIGPLAN Not., Vol. 39, No. 5. (May 2004), pp. 15-22.
    by Chung-Chieh Shan
    posted to haskell polymorphism types by greenrd on 2006-07-12 13:29:57 as ** along with 1 person and 1 group dmitri83 SRG_at_UCD
  • Java(TM) Language Specification, The (3rd Edition) (Java Series)
    (08 July 2005)
    by James Gosling, Bill Joy, Guy Steele, Gilad Bracha
    posted to java by greenrd on 2006-06-28 16:33:40 as read along with 10 people and 2 groups sven_luzar myui samth plaugg dullhunk tov 7oby bringert cruediger federicopaoloni NU-PRL SRG_at_UCD
  • Javari: adding reference immutability to Java
    Vol. 40, No. 10. (October 2005), pp. 211-230.
    by Matthew S Tschantz, Michael D Ernst
    posted to immutability java by greenrd on 2006-06-17 16:25:30 as **** along with 4 people and 1 group plaugg nikomatsakis schuh pjdonald SRG_at_UCD
  • Semantic Subtyping
    (2002), pp. 137-146.
    by Alain Frisch, Giuseppe Castagna, Veronique Benzaken
    posted to subtyping by greenrd on 2006-06-15 23:00:53 as ***** along with 1 group SRG_at_UCD
  • How to Prove Higher Order Theorems in First Order Logic
    (1991)
    by M Kerber
    posted to first-order-logic higher-order-logic by greenrd on 2006-06-08 19:18:23 as read along with 1 group SRG_at_UCD
  • A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety
    Lecture Notes in Computer Science, Vol. 3855 (December 2005), pp. 174-189.
    by Bor-Yuh Chang, Adam Chlipala, George Necula
    posted to certified-verifiers mobility by greenrd on 2006-06-05 00:33:34 as ** along with 1 group SRG_at_UCD
  • notes Why Dependent Types Matter
    (2006)
    by J Mckinna
    posted to dependent-types epigram by greenrd on 2006-05-29 22:48:46 as ***** along with 1 person and 1 group dmitri83 SRG_at_UCD
  • Acme: A User Interface for Programmers
    (1994), pp. 223-234.
    by Rob Pike
    posted to hci ides by greenrd on 2006-05-22 21:23:50 as *** along with 1 person and 1 group sgilliland SRG_at_UCD
  • Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
    Lecture Notes in Computer Science, Vol. 3945 (January 2006), pp. 114-129.
    by Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu
    posted to formal-methods provers recursion by greenrd on 2006-05-21 00:21:41 as **** along with 1 group SRG_at_UCD
  • Typed Contracts for Functional Programming
    Lecture Notes in Computer Science, Vol. 3945 (January 2006), pp. 208-225.
    by Ralf Hinze, Johan Jeuring, Andres Lã¶h
    posted to contracts formal-methods haskell by greenrd on 2006-05-21 00:17:08 as read along with 2 people and 1 group craigtalbert jpbernardy SRG_at_UCD
  • Simple unification-based type inference for GADTs
    (2006)
    by Simon P Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
    posted to gadts haskell type-inference by greenrd on 2006-05-17 20:47:12 as read along with 1 group SRG_at_UCD
  • How to Believe a Machine-Checked Proof
    (1998)
    by Robert Pollack
    edited by G Sambin, J Smith
    posted to proofs trusted-kernels by greenrd on 2006-05-17 00:37:49 as ** along with 1 group SRG_at_UCD
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/greenrd

    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.