新規登録 | ログイン | FAQ      [?] 

タグ: adt [9 articles]

Recent papers classified by the tag adt.
  • Rolling your own mutable ADT—a connection between linear types and monads
    (1997), pp. 54-66.
    by Chih-Ping Chen, Paul Hudak
    posted to adt linear-types monads by tautologico on 2005-03-23 02:10:09 as *** along with 2 people and 1 group dherman mcclurmc NU-PRL
  • Codata and Comonads in Haskell
    (1999)
    by Richard Kieburtz
    posted to adt haskell higher-rank-polymorphism monads by dherman to the group NU-PRL on 2004-12-29 16:04:10 along with 7 people and 1 group JacquesC greenrd cedricboidin zednenem msakai bonotake mcclurmc SRG_at_UCD
  • A new look at pattern matching in abstract data types
    Vol. 31, No. 6. (June 1996), pp. 110-121.
    by Pedro P Gostanza, Ricardo Pe&\#241;a, Manuel N&\#250;&\#241;ez
    posted to abstraction adt pattern-matching views by dherman to the group NU-PRL on 2004-12-26 04:11:03 along with 2 people twleung jrw
  • Final data type specifications: a new data type specification method
    (1980), pp. 131-138.
    by Samuel Kamin
    posted to adt final-algebras by dherman to the group NU-PRL on 2004-12-10 05:12:20
  • Final Data Types and Their Specification
    ACM Trans. Program. Lang. Syst., Vol. 5, No. 1. (January 1983), pp. 97-121.
    by Samuel Kamin
    posted to adt final-algebras by dherman to the group NU-PRL on 2004-12-10 05:21:45 along with 1 person ryanc
  • Views: a way for pattern matching to cohabit with data abstraction
    (1987), pp. 307-313.
    by P Wadler
    posted to abstraction adt pattern-matching views by dherman on 2004-12-26 04:08:29 along with 4 people and 1 group samth robennals dfisher spl NU-PRL
  • Dynamic optimization for functional reactive programming using generalized algebraic data types
    (2005), pp. 54-65.
    by Henrik Nilsson
    posted to adt compilers optimization by blue_entropy on 2007-12-18 12:52:40 as * along with 8 people and 1 group greenrd zednenem josefs voigt robennals conal serebryakov bhuber SRG_at_UCD
  • Extensible algebraic datatypes with defaults
    Vol. 36, No. 10. (October 2001), pp. 241-252.
    by Matthias Zenger, Martin Odersky
    posted to adt oop by bfraser on 2008-06-24 17:37:10 as ** along with 2 people mbravenboer keigoi
  • Programming with abstract data types
    (1974), pp. 50-59.
    by Barbara Liskov, Stephen Zilles
    posted to adt classic programming by bfraser on 2008-02-26 16:05:58 as ** along with 2 people radico keigoi
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/adt

    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.