registrieren | anmelden | FAQ      [?] 

Tag type [160 articles]

Recent papers classified by the tag type.
  • Alias Types for Recursive Data Structures
    Lecture Notes in Computer Science, Vol. 2071 (2001), pp. 177-??.
    by David Walker, Greg Morrisett
    posted to alias theory type by wasi on 2005-07-01 19:41:32 as **** along with 2 people and 1 group dherman josefs NU-PRL
  • Alias Types
    Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 366-??.
    by Frederick Smith, David Walker, Greg Morrisett
    posted to alias type by wasi on 2005-07-01 19:42:52 as *** along with 3 people and 1 group dherman josefs huitseeker NU-PRL
  • Nursery rearing of jundiá, Rhamdia quelen (Quoy & Gaimard) in cages: cage type, stocking density and stress response to confinement
    Aquaculture, Vol. 232, No. 1-4. (05 April 2004), pp. 383-394.
    by L Barcellos
    posted to type stress south response fish confinement cage america by vafentoulis on 2008-10-07 00:42:02 as ***
  • Ciliated hepatic foregut cyst in a patient with renal cell carcinoma.
    BMC Cancer, Vol. 6 (10 October 2006), 244.
    by Todd Straus, Vladimir Osipov
    posted to ciliated cyst foregut giant hepatic type by upstar10 on 2007-11-13 07:18:00 as **
  • Language Primitives and Type Discipline for Structured Communication-Based Programming
    (1998), pp. 122-138.
    by Kohei Honda, Vasco T Vasconcelos, Makoto Kubo
    posted to calculus cs languages logic parallel pi process programming theory type by thsutton on 2006-03-12 02:33:06 as *** along with 1 person keigoi
  • notes Putting curry-howard to work
    (2005), pp. 74-85.
    by Tim Sheard
    posted to cs languages logic programming theory type by thsutton on 2006-02-26 05:51:35 as **** along with 11 people and 3 groups draganigajic greenrd plaugg yallop voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
  • Permission-based ownership: encapsulating state in higher-order typed languages
    Vol. 40, No. 6. (June 2005), pp. 96-106.
    by Neel Krishnaswami, Jonathan Aldrich
    posted to cs languages ownership programming theory type by thsutton on 2006-03-31 00:16:34 as *** along with 1 person bec
  • Essential language support for generic programming
    Vol. 40, No. 6. (June 2005), pp. 73-84.
    by Jeremy G Siek, Jeremy Siek, Andrew Lumsdaine
    posted to cs languages polymorphism programming theory type by thsutton on 2006-03-21 08:17:33 as ***** along with 3 people yallop bec jsiek
  • Advanced Topics In Types And Programming Languages
    (19 November 2004)
    by Benjamin C Pierce
    posted to books cs functional languages logic programming theory type by thsutton on 2006-03-06 04:20:05 as ** along with 8 people and 1 group draganigajic sstrickl tautologico voigt lyongu msakai jimburton shimomura Lambda the Ultimate
  • An expressive language of signatures
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 27-40.
    by Norman Ramsey, Kathleen Fisher, Paul Govereau
    posted to cs languages programming theory type by thsutton on 2006-02-26 23:14:41 as **** along with 2 people zednenem josefs
  • An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes
    SIGPLAN Not., Vol. 24, No. 10. (October 1989), pp. 49-70.
    by C Chambers, D Ungar, E Lee
    posted to cs dynamic implementation languages oo programming prototypes theory type by thsutton on 2006-03-19 04:00:30 as read
  • A Polymorphic Type System for Extensible Records and Variants
    No. NOTTCS-TR-96-3. (November 1996)
    by Benedict R Gaster, Mark P Jones
    posted to cs languages programming theory type by thsutton on 2006-02-26 06:00:03 as **** along with 7 people and 1 group dherman JeffreyPalmer sstrickl tautologico lyongu ryanc americovargas NU-PRL
  • Graph Types for Monadic Mobile Processes
    (1996), pp. 371-386.
    by Nobuko Yoshida
    posted to pi type by suer on 2007-07-24 17:33:05 as **
  • Quasi-linear types
    (1999), pp. 29-42.
    by Naoki Kobayashi
    posted to type by suer on 2007-04-30 12:28:52 as ** along with 3 people keigoi shimomura msakai
  • Combining type-based analysis and model checking for finding counterexamples against non-interference
    (2006), pp. 17-26.
    by Hiroshi Unno, Naoki Kobayashi, Akinori Yonezawa
    posted to 2006 modelchecking type by shimomura on 2008-04-15 09:15:39 as ****
  • Resource usage analysis
    ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 264-313.
    by Atsushi Igarashi, Naoki Kobayashi
    posted to 2005 resource type by shimomura on 2008-04-16 06:16:53 as ** along with 2 people pejo keigoi
  • Resource Usage Analysis for the π -Calculus
    Verification, Model Checking, and Abstract Interpretation (2006), pp. 298-312.
    by Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
    posted to 2006 pi resource type by shimomura on 2008-05-14 06:59:17 as **
  • Strongly typed heterogeneous collections
    (2004), pp. 96-107.
    by Oleg Kiselyov, Ralf L&\#228;mmel, Keean Schupke
    posted to 2004 haskell type by shimomura on 2008-05-24 11:21:50 as ** along with 9 people and 1 group JacquesC yallop spl tov iff americovargas msakai marcinzalewski jimburton NU-PRL
  • Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!
    Programming Languages and Systems (2008), pp. 16-31.
    by Jacob Matthews, Amal Ahmed
    posted to 2008 systemf type by shimomura on 2008-07-14 01:32:22 as ** along with 1 person msakai
  • Gradual typing for functional languages
    (September 2006)
    by Jeremy G Siek, Walid Taha
    posted to 2006 type by shimomura on 2008-05-29 02:18:43 as ** along with 1 person msakai
  • Lightweight Static Capabilities
    Electronic Notes in Theoretical Computer Science, Vol. 174, No. 7. (4 June 2007), pp. 79-104.
    by Oleg Kiselyov, Chung-Chieh Shan
    posted to 2007 type by shimomura on 2008-04-15 07:54:51 as **
  • Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts
    Programming Languages and Systems (2007), pp. 490-504.
    by Kohei Suenaga, Naoki Kobayashi
    posted to 2007 concurrent deadlock pi type by shimomura on 2008-05-14 06:54:18 as **
  • Language-Based Program Verification via Expressive Types
    Electronic Notes in Theoretical Computer Science, Vol. 174, No. 7. (4 June 2007), pp. 129-147.
    by Martin Sulzmann, Razvan Voicu
    posted to 2007 type verification by shimomura on 2008-04-15 07:56:33 as **
  • Specification and Verification Using Dependent Types
    IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
    by FK Hanna, N Daeche, M Longley
    posted to 1990 dependenttype specification type verification by shimomura on 2008-07-14 00:51:06 as ** along with 1 person msakai
  • Verifying Haskell programs by combining testing, model checking and interactive theorem proving
    Information and Software Technology, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025.
    by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    posted to 2004 modelchecking proof testing type by shimomura on 2008-04-15 08:35:02 as ** along with 1 person msakai
  • Generalizing Hindley-Milner type inference algorithms
    (2002)
    by B Heeren, J Hage, D Swierstra
    posted to 2002 type by shimomura on 2008-05-19 09:47:37 as **
  • Principal type-schemes for functional programs
    (1982), pp. 207-212.
    by Luis Damas, Robin Milner
    posted to 1982 type by shimomura on 2008-04-30 07:21:48 as ** along with 5 people draganigajic tautologico gkuan pedagand zuleger
  • Types and Programming Languages
    (01 March 2002)
    by Benjamin C Pierce
    posted to 2002 science software type by shimomura on 2008-08-03 08:43:57 as **** along with 17 people and 2 groups draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton jasmithoffice SRG_at_UCD Lambda the Ultimate
  • Simple unification-based type inference for GADTs
    (2006), pp. 50-61.
    by Simon P Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
    posted to 2006 gadt haskell type by shimomura on 2008-02-21 02:29:30 as ** along with 5 people draganigajic spl bringert mcclurmc pedagand
  • A generic type system for the Pi-calculus
    ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2003), pp. 128-141.
    by Atsushi Igarashi, Naoki Kobayashi
    posted to 2003 modelchecking pi type by shimomura on 2008-05-14 14:37:02 as ** along with 1 person and 1 group rgrig SRG_at_UCD
  • A theory of type polymorphism in programming
    Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375.
    by Robin Milner
    posted to 1978 type by shimomura on 2008-07-14 01:44:51 as ** along with 5 people amp269 jkominek tautologico lyongu calvins
  • Pathogenesis of type 2 diabetes: tracing the reverse route from cure to cause
    Diabetologia, Vol. 51, No. 10. (1 October 2008), pp. 1781-1789.
    by R Taylor
    posted to type timecourse surgery reversal resistance of muscle liver insulin hypocaloric fatty diabetes bariatric 2 by sg45653 on 2008-09-10 19:07:20 as **
  • The Emerging Genetic Architecture of Type 2 Diabetes
    Cell Metabolism, Vol. 8, No. 3. (3 September 2008), pp. 186-200.
    by Alessandro Doria, Mary-Elizabeth Patti, Ronald C Kahn
    posted to type genetics diabetes 2 by sg45653 on 2008-09-04 01:46:32 as ** along with 1 person booker
  • A genetic link between type 2 diabetes and prostate cancer
    Diabetologia, Vol. 51, No. 10. (1 October 2008), pp. 1757-1760.
    by T Frayling, H Colhoun, J Florez
    posted to type tcf2 prostate link jazf1 inverse genetic gene diabetes cancer and 2 by sg45653 on 2008-09-10 19:01:33 as **
  • Extension of Dimensional Analysis for Scale-types and its Application to Discovery of Admissible Models of Complex Processes
    by Takashi Washio, Hiroshi Motoda
    posted to type scale-space scale by scis0000001 on 2007-01-19 16:22:33 as **
  • Types as Processes, via Chu spaces
    (1997)
    by V Pratt
    posted to chu-space computational-category-theory process type type-theory by scis0000001 on 2006-09-26 11:05:38 as **
  • Classification of Con\-cepts Through Products of Concepts and Abstract Data Types
    (1996), pp. 3-12.
    by P Valtchev, J Euzenat
    edited by E Diday, Y Lechevallier, O Opitz
    posted to classification concept fca type by scis0000001 on 2006-11-25 13:45:41 as **
  • A Uniform Model Theory for the Speci
    by Cation O Data
    posted to categorical-model-theory categorical-theories domain-theory model-theory type by scis0000001 on 2006-11-27 14:12:26 as ** along with 1 person Scis0000002
  • p53 regulates glucose metabolism through an IKK-NF-κB pathway and inhibits cell transformation
    Nature Cell Biology, Vol. 10, No. 5. (06 April 2008), pp. 611-618.
    by Keiko Kawauchi, Keigo Araki, Kei Tobiume, Nobuyuki Tanaka
    posted to type tumor transporter transformation transduction transcription suppressor signal rna rela ras proteins protein physiology p53 neoplastic mice metabolism lactic knockout kinase interference i-kappa glycolysis glucose genetics genes fibroblasts factor cytology cultured cells cell b acid 3 by RubenE on 2008-09-15 13:50:15 as ***** along with 1 group CRI Cellular metabolism club
  • Points-to analysis in almost linear time
    (1996)
    by B Steensgaard
    posted to inference location pointer points-to type by rgb on 2006-07-11 16:52:21 as ** along with 1 person and 1 group bunge pileWorks
  • Resource Access Control in Systems of Mobile Agents
    Information and Computation, Vol. 173, No. 1. (25 February 2002), pp. 82-120.
    by Matthew Hennessy, James Riely
    posted to agent location type by rgb on 2006-08-04 10:52:39 as ** along with 1 person and 1 group keigoi pileWorks
  • Type Classes in Haskell
    ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138.
    by Cordelia V Hall, Kevin Hammond, SLP Simon, Philip L Wadler
    posted to class haskell type by rgb on 2007-03-19 16:31:07 as ** along with 4 people and 2 groups dherman robennals tov bendiken NU-PRL pileWorks
  • Reformulation in Planning
    by Derek L Maria
    posted to generic planning type by redkylin on 2005-02-25 18:59:44 as read
  • Planning with generic types
    (2003), pp. 103-138.
    by Derek Long, Maria Fox
    posted to generic planning type by redkylin on 2005-02-23 22:07:45 as read
  • Self-management in Type 2 Diabetes: The Adolescent Perspective
    The Diabetes Educator, Vol. 34, No. 4. (1 July 2008), pp. 674-682.
    by Shelagh A Mulvaney, Eniola Mudasiru, David G Schlundt, Cara L Baughman, Mary Fleming, Ann Vanderwoude, William E Russell, Tom A Elasy, Russell Rothman
    posted to type the self-management perspective in diabetes adolescent 2 by pedens on 2008-09-10 03:57:49 as **
  • Meeting Quality Standards for Self-Management Education in Pediatric Type 2 Diabetes
    Diabetes Spectr, Vol. 20, No. 1. (1 January 2007), pp. 40-46.
    by Amber Atkinson, Doreen Radjenovic
    posted to type self-management pediatric diabetes 2 by pedens on 2008-09-10 03:53:35 as **
  • Construction of a set of convenient Saccharomyces cerevisiae strains that are isogenic to S288C.
    Yeast, Vol. 11, No. 1. (January 1995), pp. 53-55.
    by F Winston, C Dollard, SL Ricupero-Hovasse
    posted to fy1679 type wild by ny on 2007-08-16 01:54:22 as ***
  • Strongly Typed Genetic Programming
    No. \#7866. (July 1993)
    by David J Montana
    posted to genetic_programming kalman type by numata on 2005-06-04 17:05:54 as **
  • notes Y in Practical Programs (Extended Abstract)
    (27 July 2001)
    by Bruce Mcadam
    posted to combinator example fixedpoint ml type by nodakai on 2007-10-21 19:05:55 as read along with 1 person kinaba
  • Basic Polymorphic Typechecking
    Science of Computer Programming, Vol. 8, No. 2. (1987), pp. 147-172.
    by Luca Cardelli
    posted to example ml polymorphism tutorial type by nodakai on 2007-10-21 19:29:47 as read along with 2 people and 1 group dherman tautologico NU-PRL
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/type

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