Register | Log in | FAQ      [?] 

Tag type [148 articles]

Recent papers classified by the tag type.
  • 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
  • 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
  • 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 **
  • 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
  • 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
  • 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
  • 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 6 people and 1 group sstrickl tautologico voigt lyongu msakai jimburton Lambda the Ultimate
  • 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
  • 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 10 people and 3 groups 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
  • 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
  • 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 msakai keigoi shimomura
  • 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 **
  • Gradual typing for functional languages
    (September 2006)
    by Jeremy G Siek, Walid Taha
    posted to type 2006 by shimomura on 2008-05-29 02:18:43 as ** along with 1 person 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 type modelchecking 2006 by shimomura on 2008-04-15 09:15:39 as ****
  • 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 type testing proof modelchecking 2004 by shimomura on 2008-04-15 08:35:02 as ** along with 1 person msakai
  • 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 verification type 2007 by shimomura on 2008-04-15 07:56:33 as **
  • 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 type 2007 by shimomura on 2008-04-15 07:54:51 as **
  • Strongly typed heterogeneous collections
    (2004), pp. 96-107.
    by Oleg Kiselyov, Ralf L&\#228;mmel, Keean Schupke
    posted to type haskell 2004 by shimomura on 2008-05-24 11:21:50 as ** along with 9 people and 1 group jimburton msakai marcinzalewski JacquesC yallop spl tov iff americovargas NU-PRL
  • 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 type 1978 by shimomura on 2008-07-14 01:44:51 as ** along with 3 people tautologico lyongu calvins
  • 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 type systemf 2008 by shimomura on 2008-07-14 01:32:22 as ** along with 1 person msakai
  • Simple unification-based type inference for GADTs
    (2006), pp. 50-61.
    by Simon P Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
    posted to type haskell gadt 2006 by shimomura on 2008-02-21 02:29:30 as ** along with 3 people spl bringert mcclurmc
  • 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 verification type specification dependenttype 1990 by shimomura on 2008-07-14 00:51:06 as ** along with 1 person msakai
  • Resource usage analysis
    ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 264-313.
    by Atsushi Igarashi, Naoki Kobayashi
    posted to type resource 2005 by shimomura on 2008-04-16 06:16:53 as ** along with 2 people pejo keigoi
  • Principal type-schemes for functional programs
    (1982), pp. 207-212.
    by Luis Damas, Robin Milner
    posted to type 1982 by shimomura on 2008-04-30 07:21:48 as ** along with 2 people tautologico gkuan
  • 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 type resource pi 2006 by shimomura on 2008-05-14 06:59:17 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 type pi deadlock concurrent 2007 by shimomura on 2008-05-14 06:54:18 as **
  • 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 type pi modelchecking 2003 by shimomura on 2008-05-14 14:37:02 as ** along with 1 person and 1 group rgrig SRG_at_UCD
  • Generalizing Hindley-Milner type inference algorithms
    (2002)
    by B Heeren, J Hage, D Swierstra
    posted to type 2002 by shimomura on 2008-05-19 09:47:37 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 **
  • 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 **
  • 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
  • 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 **
  • 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
  • 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
  • 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
  • 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 **
  • 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
  • On understanding types, data abstraction, and polymorphism
    ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523.
    by Luca Cardelli, Peter Wegner
    posted to ml polymorphism tutorial type by nodakai on 2007-10-21 19:28:35 as read along with 7 people and 1 group jpbernardy marcinzalewski dalev voigt Bluetulip cogumbreiro chandlerc NU-PRL
  • 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
  • Hermes: A Distributed Event-Based Middleware Architecture
    (2002)
    by P Pietzuch, J Bacon
    posted to based event middleware publish subscribe type by neelysj on 2007-08-30 16:38:46 as read along with 3 people and 1 group schweer alessandro-monguzzi sro SRG_at_UCD
  • Inductive Families
    Formal Aspects of Computing, Vol. 6, No. 4. (1994), pp. 440-465.
    by Peter Dybjer
    posted to theory type by mpagano on 2005-09-07 00:49:35 as *** along with 1 person msakai
  • Categorical Logic and Type Theory
    (01 December 1998)
    by B Jacobs
    posted to fibration semantics sheaf theory topos type by mahler on 2005-12-06 18:40:24 as ** along with 2 people and 1 group msakai bonotake Rightscom
  • Type classes: an exploration of the design space
    (1997)
    by S Jones, M Jones, E Meijer
    posted to class haskell language programming type by linekin on 2008-01-05 05:31:39 as **** along with 1 person jpbernardy
  • Once upon a type
    (1995)
    by David N Turner, Philip Wadler, Christian Mossin
    posted to inference jit type by kschiess on 2005-02-23 16:22:57 as ** along with 7 people and 3 groups dherman JacquesC A_Olympia JeffreyPalmer cedricboidin tautologico robennals NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
  • A core calculus of dependency
    (1999), pp. 147-160.
    by Mart∈ Abadi, Anindya Banerjee, Nevin Heintze, Jon G Riecke
    edited by M Ac
    posted to analysis calculus dependency dependent monadic type by kontakte on 2006-02-10 16:57:37 as read along with 5 people amorkan kozima scavadini mrkoot tesissvc
  • A Framework for Defining Logics
    (1987), pp. 194-204.
    by Robert Harper, Furio Honsell, Gordon Plotkin
    posted to dependent framework lf logical type by kontakte on 2006-02-10 16:54:25 as read along with 1 person amorkan
    • Note: You may cite this page as: http://www.citeulike.org/tag/type

    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.