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

huitseeker's library [116 articles]

最近录入 huitseeker's 文献库.
  • General Theory of Natural Equivalences
    Transactions of the American Mathematical Society, Vol. 58, No. 2. (1945), pp. 231-294.
    by Samuel Eilenberg, Saunders Maclane
    posted to categories by huitseeker on 2008-08-03 21:23:22 as ****
  • notes Natural Isomorphisms in Group Theory.
    Proceedings of the National Academy of Sciences of the United States of America, Vol. 28, No. 12. (December 1942), pp. 537-543.
    by S Eilenberg, S Maclane
    posted to category isomorphisms theory by huitseeker on 2008-07-31 08:14:03 as read
  • Type-Safe Cast: Functional Pearl
    (September 2000), pp. 58-67.
    by Stephanie Weirich
    posted to cast safe type by huitseeker on 2008-07-24 20:37:30 as read
  • Type Classes with Functional Dependencies
    Lecture Notes in Computer Science, Vol. 1782 (2000)
    by Mark P Jones
    posted to classes isomorphism type by huitseeker on 2008-07-23 23:45:07 as ** along with 10 people and 3 groups twleung dherman greenrd cedricboidin msakai bonotake tov calvins BMeph jimburton NU-PRL SRG_at_UCD Lambda the Ultimate
  • Type Systems for Computer Algebra
    (1993)
    by A Weber
    posted to algebra classes type by huitseeker on 2008-07-23 23:10:20 as ***
  • RepLib: a library for derivable type classes
    (2006), pp. 1-12.
    by Stephanie Weirich
    posted to directed haskell programming type type_classes by huitseeker on 2008-07-23 22:56:05 as **** along with 3 people zednenem spl keigoi
  • When is a function a fold or an unfold?
    Electronic Notes in Theoretical Computer Science, Vol. 44, No. 1. (May 2001), pp. 146-160.
    by Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch
    posted to catamorphism fold type by huitseeker on 2008-07-23 01:33:46 as ** along with 1 person spl
  • Type Checking with Universes
    Theoretical Computer Science, Vol. 89, No. 1. (1991), pp. 107-136.
    by Robert Harper, Robert Pollack
    posted to polymorphism type universe by huitseeker on 2008-07-22 13:18:30 as ***
  • Sorting Morphisms
    (1998), pp. 1-27.
    by Lex Augusteijn
    posted to functional programming by huitseeker on 2008-07-18 18:04:10 as **
  • Recursion Schemes from Comonads
    Nordic Journal of Computing, Vol. 8, No. 3. (Fall 2001), pp. 366-??.
    by Tarmo Uustalu, Varmo Vene, Alberto Pardo
    posted to functional programmign by huitseeker on 2008-07-18 18:03:52 as **
  • Fun with functional dependencies
    (2001)
    by T Hallgren
    posted to functional programming by huitseeker on 2008-07-18 18:03:30 as ** along with 4 people yallop voigt spl jimburton
  • Combining programming with theorem proving
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 66-77.
    by Chiyan Chen, Hongwei Xi
    posted to hoas programming by huitseeker on 2008-07-17 11:47:25 as ***
  • Semantical Analysis of Higher-Order Abstract Syntax
    (1999)
    by Martin Hofmann
    posted to categories functor hoas by huitseeker on 2008-07-17 11:40:27 as ***
  • A short survey of isomorphisms of types
    Mathematical. Structures in Comp. Sci., Vol. 15, No. 5. (October 2005), pp. 825-838.
    by Roberto Di Cosmo
    posted to equivalence information isomorphisms type by huitseeker on 2008-07-17 09:34:36 as read
  • Towards a categorical semantics of type classes
    Mathematical Foundations of Computer Science 1991 (1991), pp. 191-201.
    by Barney Hilken, David Rydeheard
    posted to classes semantics type by huitseeker on 2008-07-17 09:21:23 as ****
  • Type Isomorphisms and Proof Reuse in Dependent Type Theory
    Lecture Notes in Computer Science, Vol. 2030 (2001)
    by Gilles Barthe, Olivier Pons
    posted to isomorphism type by huitseeker on 2008-07-13 16:31:10 as ***
  • Mechanizing the metatheory of Standard ML
    (2006)
    by D Lee, K Crary, R Harper
    posted to mechanized ml theory twelf by huitseeker on 2008-07-13 08:55:45 as ** along with 1 person mathcoq
  • Managing Content with Automatic Document Classification
    by Rafael A Calvo, Jae M Lee, Xiaobo Li
    posted to automatic classification content by huitseeker on 2008-07-12 19:59:38 as ** along with 1 person asinghal
  • Understanding disk failure rates: What does an MTTF of 1,000,000 hours mean to you?
    Trans. Storage, Vol. 3, No. 3. (October 2007)
    by Bianca Schroeder, Garth A Gibson
    posted to disk failure hardware by huitseeker on 2008-07-12 19:18:28 as **
  • Are disks the dominant contributor for storage failures?: a comprehensive study of storage subsystem failure characteristics
    (2008), pp. 1-15.
    by Weihang Jiang, Chongfeng Hu, Yuanyuan Zhou, Arkady Kanevsky
    posted to disk failure hardware by huitseeker on 2008-07-12 19:16:27 as **
  • Information Retrieval in a Coq Proof Library Using Type Isomorphisms
    Types for Proofs and Programs (2000), pp. 393-434.
    by David Delahaye
    posted to coq isomorphism types by huitseeker on 2008-07-12 19:02:09 as ***
  • Statically Typed Document Transformation: An Xtatic Experience
    (2006), pp. 2-13.
    by Vladimir Gapeyev, Fran\ccois Garillot, Benjamin C Pierce
    edited by Giuseppe Castagna, Mukund Raghavachari, Giuseppe Castagna, Mukund Raghavachari
    posted to typed xml by huitseeker on 2008-07-10 07:56:14 as read
  • Simple Types in Type Theory: Deep and Shallow Encodings
    Theorem Proving in Higher Order Logics (2007), pp. 368-382.
    by François Garillot, Benjamin Werner
    posted to nbe types by huitseeker on 2008-07-10 07:53:51 as read
  • A Core Calculus for Scala Type Checking
    Mathematical Foundations of Computer Science 2006 (2006), pp. 1-23.
    by Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky
    posted to scala type by huitseeker on 2008-07-10 07:50:27 as read along with 1 person mstock
  • Refinement types for ML
    SIGPLAN Not., Vol. 26, No. 6. (June 1991), pp. 268-277.
    by Tim Freeman, Frank Pfenning
    posted to ml types by huitseeker on 2008-07-10 07:42:52 as ***
  • A theory of classes: proofs and models
    Mathematical Structures in Computer Science, Vol. 7, No. 02. (2000), pp. 95-127.
    by Barnaby P Hilken, David E Rydeheard
    posted to categorial classes type by huitseeker on 2008-07-10 07:41:13 as read
  • Proof Reflection in Coq
    Journal of Automated Reasoning, Vol. 29, No. 3. (2002), pp. 277-307.
    by Dimitri Hendriks
    posted to coq reflection type by huitseeker on 2008-06-25 06:06:24 as **** along with 1 person drdiem
  • The groupoid interpretation of type theory
    (1995)
    by M Hofmann, T Streicher
    posted to groups theory type by huitseeker on 2008-06-25 06:06:06 as *** along with 2 people and 1 group Scis0000002 mcclurmc Lambda the Ultimate
  • notes Manifest Security
    (January 2007)
    by Karl Crary, Robert Harper, Frank Pfenning, Benjamin C Pierce, Stephanie Weirich, Stephan Zdancewic
    posted to certification file-import-08-06-18 manifest security by huitseeker on 2008-06-18 15:43:08 as read
  • Engineering formal metatheory
    (January 2008), pp. 3-15.
    by Brian Aydemir, Arthur Charguéraud, Benjamin C Pierce, Randy Pollack, Stephanie Weirich
    posted to file-import-08-06-18 poplmark by huitseeker on 2008-06-18 15:42:08 as read
  • A Gentle Introduction to Category Theory --- the calculational approach
    (September 1992)
    by MM Fokkinga
    posted to category file-import-08-06-18 fokkinga introduction by huitseeker on 2008-06-18 15:38:22 as **
  • Law and Order in Algorithmics
    (February 1992), pp. 1-160.
    by Maarten M Fokkinga
    posted to algebra category file-import-08-06-18 fokkinga thesis by huitseeker on 2008-06-18 15:37:53 as ****
  • Mendler-Style Inductive Types, Categorically
    Nordic Journal of Computing, Vol. 6, No. 3. (1999), pp. 343-361.
    by Tarmo Uustalu, Varmo Vene
    posted to induction recursion by huitseeker on 2008-06-14 21:19:18 as **** along with 1 person glaubersp
  • Epigram: Practical Programming with Dependent Types
    Advanced Functional Programming (2005), pp. 130-170.
    by Conor Mcbride
    posted to agda dependent epigram programming types by huitseeker on 2008-06-03 13:12:20 as **** along with 2 people and 1 group mcclurmc pedagand Lambda the Ultimate
  • Organizing Numerical Theories Using Axiomatic Type Classes
    Journal of Automated Reasoning, Vol. 33, No. 1. (1 July 2004), pp. 29-49.
    by Lawrence C Paulson
    posted to axiomatic classes formalization type by huitseeker on 2008-02-22 00:36:34 as ****
  • Static Name Control for FreshML
    (July 2007)
    by François Pottier
    posted to bibtex-import constraints fresh nominal pure by huitseeker on 2007-06-18 19:11:59 as read
  • An inverse of the evaluation functional for typed $λ$--calculus
    (1991), pp. 203-211.
    by Ulrich Berger, Helmut Schwichtenberg
    edited by R Vemuri
    posted to bibtex-import nbe by huitseeker on 2007-06-18 19:10:21 as read
  • Modelling general recursion in type theory
    (2002)
    by A Bove, V Capretta
    posted to induction-recursion types by huitseeker on 2007-06-18 19:06:58 as ***
  • A general formulation of simultaneous inductive-recursive definitions in type theory
    (1998)
    by P Dybjer
    posted to induction-recursion types by huitseeker on 2007-06-18 19:05:20 as ***
  • Deciding type equivalence in a language with singleton kinds
    (2000), pp. 214-227.
    by Christopher A Stone, Robert Harper
    posted to semantics types by huitseeker on 2007-06-18 14:40:07 as *****
  • A type-theoretic interpretation of Standard ML
    (1998)
    by R Harper, C Stone
    posted to eta-reduction semantics types by huitseeker on 2007-06-18 14:38:07 as *****
  • Verified Interoperable Implementations of Security Protocols
    by Karthikeyan B Edric
    posted to double encryption implementation protocol security by huitseeker on 2007-06-18 11:09:43 as *** along with 1 person yleblevec
  • notes Proving That Programs Eventually Do Something Good
    by Ron C Microsoft
    posted to liveness property requirement safety by huitseeker on 2007-06-18 11:06:53 as read
  • On equivalence and canonical forms in the LF type theory
    (1999)
    by R Harper, F Pfenning
    posted to canonical comparison equality eta-reduction lf normalization by huitseeker on 2007-06-18 10:41:50 as ****
  • A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions.
    Higher-Order and Symbolic Computation, Vol. 15, No. 1. (2002), pp. 57-90.
    by Catarina Coquand
    posted to bibtex-import explicit nbe substitution by huitseeker on 2007-06-04 15:14:09 as read
  • Normalization by evaluation
    (1998)
    by U Berger, M Eberl, H Schwichtenberg
    posted to de_bruijn nbe optimization by huitseeker on 2007-06-04 14:49:05 as read
  • Engineering Aspects of Formal Metatheory
    (April 2007)
    by Brian Aydemir, Arthur Charguéraud, Benjamin C Pierce, Stephanie Weirich
    posted to bibtex-import poplmark proving theorem by huitseeker on 2007-06-04 14:35:46 as read
  • Proof Engineering: Practical Techniques for Mechanized Metatheory
    (September 2006)
    by Arthur Charguéraud, Benjamin C Pierce, Stephanie Weirich
    posted to bibtex-import poplmark proving theorem by huitseeker on 2007-06-04 14:34:51 as read
  • Towards an Operations Semantics and Proof of Type Soundness for Java
    (1998)
    by S Drossopoulou, S Eisenbach
    posted to scala-related type by huitseeker on 2007-04-08 21:29:44 as ****
  • Syntactic type abstraction
    ACM Transactions on Programming Languages and Systems, Vol. 22, No. 6. (2000), pp. 1037-1080.
    by Dan Grossman, Greg Morrisett, Steve Zdancewic
    posted to scala-related type by huitseeker on 2007-04-08 21:28:58 as **** along with 1 person jacob
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/huitseeker

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