registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

huitseekers type [45 articles]

Neue Publikationen in huitseekers Bibliothek eingetragen unter dem Bezeichner: type. You can also see everyone's type.
  • 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 11 people and 3 groups draganigajic 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 ***
  • 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 ***
  • 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
  • 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 3 people and 1 group draganigajic Scis0000002 mcclurmc 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 **** along with 1 person Scis0000002
  • 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
  • Is the Java Type System Sound?
    Theory and Practice of Object Systems, Vol. 5, No. 1. (1999), pp. 3-24.
    by Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid
    posted to scala-related type by huitseeker on 2007-04-08 21:28:35 as ****
  • Alias Types
    Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 366-??.
    by Frederick Smith, David Walker, Greg Morrisett
    posted to scala-related type by huitseeker on 2007-04-08 21:28:03 as *** along with 3 people and 1 group dherman josefs wasi NU-PRL
  • Checking Algorithms for Pure Type Systems
    (1994), pp. 19-61.
    by van Benthem, James Mckinna, Robert Pollack
    edited by Henk Barendregt, Tobias Nipkow
    posted to formalization lambda_calculus type by huitseeker on 2007-03-28 18:02:21 as *
  • Parametric polymorphism in Java: an approach to translation based on reflective features
    (2000), pp. 146-165.
    by Mirko Viroli, Antonio Natali
    posted to cyclicity runtime_types type by huitseeker on 2006-08-21 18:23:34 as ***
  • Software Extension and Integration with Type Classes
    (October 2006)
    by Ralf Lämmel, Klaus Ostermann
    posted to bibtex-import classes type by huitseeker on 2006-08-15 16:00:07 as **
  • PiDuce: A process calculus with native XML datatypes
    Vol. 3670 (2005), pp. 18-34.
    by AL Brown, C Laneve, LG Meredith
    posted to bibtex-import pi-duce pi_calculus type xml by huitseeker on 2006-08-10 19:42:11 as ***
  • Mechanized metatheory for the masses: The POPLmark Challenge
    (August 2005)
    by Brian E Aydemir, Aaron Bohannon, Matthew Fairbairn, Nathan J Foster, Benjamin C Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic
    posted to bibtex-import type by huitseeker on 2006-07-05 16:10:55 as read
  • The Essence of Data Access in Cω
    Lecture Notes in Computer Science, Vol. 3586 (2005), pp. 287-311.
    by Gavin Bierman, Erik Meijer, Wolfram Schulte
    posted to object type xml by huitseeker on 2006-07-05 09:27:30 as **
  • The power of symmetry: unifying inheritance and generative programming
    (2003), pp. 38-52.
    by Delesley Hutchins
    posted to mixin object type by huitseeker on 2006-06-30 13:00:23 as *** along with 1 person bdauvergne
  • GJ: Extending the Java Programming Language with typeparameters
    by G Bracha, M Odersky, D Stoutamire, P Wadler
    posted to java parametric-types type by huitseeker on 2006-06-30 10:05:39 as ***
  • Sous-Typage Et Programmation Orientée à Objets
    by Giuseppe Castagna
    posted to subtyping type by huitseeker on 2006-06-30 10:04:26 as **
  • Adding Type Parameterization to the Java Language
    (1997), pp. 49-65.
    by Ole Agesen, Stephen N Freund, John C Mitchell
    posted to java parametric-types type by huitseeker on 2006-06-30 10:03:00 as **
  • Parasitic Methods: Implementation of Multi-Methods for Java
    (1997), pp. 66-76.
    by John Boyland, Giuseppe Castagna
    posted to java multi-methods type by huitseeker on 2006-06-30 10:00:15 as **
  • Types et contraintes
    (December 2004)
    by François Pottier
    posted to bibtex-import coonstraint-based inference ocaml type by huitseeker on 2006-06-30 09:55:04 as ***
  • Parametric polymorphism for XML
    (2005)
    by H Hosoya, A Frisch, G Castagna
    posted to polymorphism type xml by huitseeker on 2006-06-30 09:52:51 as **
  • Comparing Object Encodings
    (1997), pp. 415-438.
    by Kim B Bruce, Luca Cardelli, Benjamin C Pierce
    posted to object type by huitseeker on 2006-06-30 09:52:30 as ***
  • Cduce: An xml-centric general-purpose language
    (2003)
    by V Benzaken, G Castagna, A Frisch
    posted to type xml by huitseeker on 2006-06-30 09:49:53 as ** along with 2 people petrijooste mzp
  • notes A gentle introduction to semantic subtyping
    (2005), pp. 198-199.
    by Giuseppe Castagna, Alain Frisch
    posted to semantic_subtyping subtyping type by huitseeker on 2006-06-30 09:48:13 as *** along with 2 people and 1 group dherman amorkan NU-PRL
  • Featherweight Java: A Minimal Core Calculus for Java and GJ
    (October 1999)
    by Atsushi Igarashi, Benjamin Pierce, Philip Wadler
    posted to bibtex-import java soundness type by huitseeker on 2006-06-28 18:13:54 as read
  • The Essence of ML Type Inference
    (2005), pp. 389-489.
    by François Pottier, Didier Rémy
    edited by Benjamin C Pierce
    posted to bibtex-import inference ocaml type by huitseeker on 2006-06-28 17:24:13 as read
  • 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
    posted to bibtex-import type xml xtatic by huitseeker on 2006-06-28 16:58:41 as read
  • notes Type-Safe Distributed Programming for Ocaml
    Computer Laboratory, University of Cambridge
    by J Billings, P Sewell, M Shinwell, R Strniša
    posted to distributed ocaml type by huitseeker on 2006-06-28 16:39:53 as ***
  • Covariance and contravariance: conflict without a cause
    (1995)
    by G Castagna
    posted to object type by huitseeker on 2006-06-28 14:17:43 as ** along with 2 people bunge maggesi
  • Bounded quantification is undecidable
    (1993)
    by B Pierce
    posted to subtyping type undecidable by huitseeker on 2006-06-28 14:16:23 as read
  • An extension of system F with subtyping
    (1991)
    by L Cardelli, S Martini, J Mitchell, A Scedrov
    posted to soundness subtyping type undecidable by huitseeker on 2006-06-28 14:14:50 as read
  • Decidable bounded quantification
    (1994)
    by G Castagna, B Pierce
    posted to subtyping type undecidable by huitseeker on 2006-06-28 14:02:12 as read
  • Xduce: A statically typed xml processing language
    (2002)
    by H Hosoya, B Pierce
    posted to type xduce xml by huitseeker on 2006-06-28 13:59:26 as *** along with 1 person Matt1985
  • XML goes native: Run-time representations for Xtatic
    (2004)
    by V Gapeyev, M Levin, B Pierce, A Schmitt
    posted to type xml xtatic by huitseeker on 2006-06-28 13:48:25 as read along with 1 person BMeph
  • A nominal theory of objects with dependent types
    No. IC/2002/70. (September 2002)
    by M Odersky, V Cremet, C Röckl, M Zenger
    posted to scala soundness type undecidable by huitseeker on 2006-06-28 13:42:36 as read
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/huitseeker/tag/type

    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.