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

gkuan library [18 articles]

最近 gkuan さんのライブラリ .
  • A separate compilation extension to standard ML
    (2006), pp. 32-42.
    by David Swasey, Tom, Karl Crary, Robert Harper
    posted to modularity modules separate-compilation standard-ml supermodularity by gkuan on 2008-03-06 15:41:02 as read
  • The revised report on the syntactic theories of sequential control and state
    Theor. Comput. Sci., Vol. 103, No. 2. (September 1992), pp. 235-271.
    by Matthias Felleisen, Robert Hieb
    posted to no-tag by gkuan on 2008-03-05 19:13:38 as *** along with 3 people and 1 group samth dsilva mcclurmc NU-PRL
  • Units: cool modules for HOT languages
    Vol. 33, No. 5. (May 1998), pp. 236-248.
    by Matthew Flatt, Matthias Felleisen
    posted to modularity modules scheme by gkuan on 2008-03-05 19:12:57 as ** along with 2 people and 1 group samth dsilva NU-PRL
  • MJ: a rational module system for Java and its applications
    Vol. 38, No. 11. (October 2003), pp. 241-254.
    by John Corwin, David F Bacon, David Grove, Chet Murthy
    posted to modularity modules by gkuan on 2008-03-05 19:10:51 as ** along with 2 people and 1 group samth dsilva NU-PRL
  • Associated types with class
    (2005), pp. 1-13.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones, Simon Marlow
    posted to haskell type-classes by gkuan on 2008-03-05 19:09:53 as ** along with 10 people and 2 groups samth greenrd zednenem bec voigt msakai bonotake spl americovargas jpbernardy NU-PRL SRG_at_UCD
  • Modular type classes
    SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 63-70.
    by Derek Dreyer, Robert Harper, Manuel MT Chakravarty, Gabriele Keller
    posted to no-tag by gkuan on 2008-03-05 17:06:45 as ** along with 1 person keigoi
  • A type system for well-founded recursion
    (2004)
    by D Dreyer
    posted to modularity modules recursion standard-ml by gkuan on 2008-03-05 17:06:10 as ** along with 1 person and 1 group dherman NU-PRL
  • Modules for standard ML
    (1984), pp. 198-207.
    by David Macqueen
    posted to modularity modules standard-ml by gkuan on 2008-03-05 17:05:35 as *** along with 1 person and 1 group samth NU-PRL
  • The Definition of Standard ML - Revised
    (15 May 1997)
    by Robin Milner, Mads Tofte, Robert Harper, David Macqueen
    posted to standard-ml by gkuan on 2008-03-05 17:04:44 as read along with 3 people and 1 group samth bringert jasmithoffice NU-PRL
  • Using Dependent Types to Express Modular Structure
    (1986), pp. 277-286.
    by David Macqueen
    posted to dependent-types modularity modules by gkuan on 2008-03-05 17:03:49 as read along with 1 person scis0000001
  • How to make ad-hoc polymorphism less ad-hoc
    (January 1989), pp. 60-76.
    by P Wadler, S Blott
    posted to haskell type-classes by gkuan on 2008-03-05 17:02:29 as **** along with 5 people msakai lomeo tov gds SamB
  • 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 hindley-milner type-inference by gkuan on 2008-03-05 17:01:19 as *** along with 11 people and 2 groups vkp greenrd tautologico bunge tov KarlKlose glaubersp mvermaat mcclurmc sclv nominolo SRG_at_UCD Lambda the Ultimate
  • Simple Imperative Polymorphism
    Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 343-355.
    by Andrew K Wright
    posted to hindley-milner standard-ml type-inference value-restriction by gkuan on 2008-03-05 17:00:15 as read along with 2 people tautologico soutaro
  • Proofs about a folklore let-polymorphic type inference algorithm
    ACM Trans. Program. Lang. Syst., Vol. 20, No. 4. (July 1998), pp. 707-723.
    by Oukseh Lee, Kwangkeun Yi
    posted to hindley-milner polymorphism type-inference by gkuan on 2008-03-05 16:58:14 as read along with 1 person rsaarelm
  • Principal type-schemes for functional programs
    (1982), pp. 207-212.
    by Luis Damas, Robin Milner
    posted to hindley-milner polymorphism type-inference by gkuan on 2008-03-05 16:57:04 as read along with 5 people draganigajic tautologico shimomura pedagand zuleger
  • Local Type Inference
    (1998), pp. 252-265.
    by Benjamin C Pierce, David N Turner
    posted to type-inference by gkuan on 2008-03-05 16:56:05 as read along with 5 people draganigajic tautologico suizan jfischer pedagand
  • A Syntactic Theory of Type Generativity and Sharing
    (1994)
    by Xavier Leroy
    posted to modules type-generativity type-sharing by gkuan on 2008-03-05 16:54:52 as *** along with 1 person tautologico
  • Recursive structures for standard ML
    Vol. 36, No. 10. (October 2001), pp. 50-61.
    by Claudio V Russo
    posted to modules recursion by gkuan on 2008-03-05 16:53:22 as *** along with 1 person and 1 group dherman NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/gkuan

    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.