Tag types [at least 200 articles] Export

Recent papers classified by the tag types.

	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted to types theory by ama08r on 2009-11-06 18:04:37 as along with 20 people and 2 groups michaelbanks mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton jasmithoffice shimomura SRG_at_UCD Lambda the Ultimate
	Integrative clustering of multiple genomic data types using a joint latent variable model with application to breast and lung cancer subtype analysis [My Copy] Bioinformatics, Vol. 25, No. 22. (15 November 2009), pp. 2906-2912. by Ronglai Shen, Adam B. Olshen, Marc Ladanyi posted to variable types omic multiple model latent joint integrative integration genomic data clustering by dswan on 2009-11-06 17:30:13 as along with 1 person rdiaz
	Monadic Presentations of Lambda Terms Using Generalized Inductive Types [My Copy] Computer Science Logic (2009), pp. 825-825. by Thorsten Altenkirch, Bernhard Reus posted to types monads kleisli-structures by pedagand on 2009-11-05 15:47:57 as
	A Tutorial on Recursive Types in Coq [My Copy] INRIA ROCQUENCOURT (1998) by Eduardo Giménez posted to types recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 13:34:58 as
	Types as Theories [My Copy] In Topology and Category Theory in Computer Science (1991), pp. 357-390. by Joseph Goguen edited by George M. Reed, Andrew W. Roscoe, Ralph F. Wachter posted to types by GorgeousNicko on 2009-11-04 00:25:48 as along with 3 people bonotake scis0000001 marcinzalewski
	Verifying correct usage of atomic blocks and typestate [My Copy] SIGPLAN Not., Vol. 43, No. 10. (2008), pp. 227-244. by Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich posted to types side-effects multi-threaded java by ama08r on 2009-11-03 15:25:00 as
	Types are not sets [My Copy] In POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1973), pp. 120-124. by James H. Morris posted to types by khatchad on 2009-11-02 04:13:24 as
	A separate compilation extension to standard ML [My Copy] In ML '06: Proceedings of the 2006 workshop on ML (2006), pp. 32-42. by David Swasey, V. Tom Murphy, Karl Crary, Robert Harper posted to types standard-ml separate-compilation incremental-compilation by robertjohnsimmons to the group ConcertRG on 2009-10-29 21:31:53 as along with 1 person gkuan
	Circumscribed palmo-plantar hypokeratosis: a disease with two subtypes. [My Copy] The Journal of investigative dermatology, Vol. 129, No. 4. (April 2009), pp. 1045-1047. by Miki Tanioka, Aya Miyagawa-Hayashino, Toshiaki Manabe, Eiko Toichi, Yoshiki Miyachi, Kenzo Takahashi posted to types cph 2 by kanitakis on 2009-10-20 09:49:35 as
	Towards a Type System for Analyzing JavaScript Programs [My Copy] Programming Languages and Systems (2005), pp. 408-422. by Peter Thiemann posted to types javascript compilers by TKAB on 2009-10-19 16:19:27 as along with 2 people and 1 group keigoi namin Lambda the Ultimate
	Derivatives of Containers [My Copy] (2002) by Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor Mcbride posted to types fuctional by mwbuksas on 2009-10-01 05:14:46 as
	High-level data races [My Copy] Software Testing, Verification and Reliability, Vol. 13, No. 4. (2003), pp. 207-227. by Cyrille Artho, Klaus Havelund, Armin Biere posted to types side-effects multi-threaded by ama08r on 2009-09-22 11:15:32 as
	Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series) [My Copy] (23 August 1991) by Andrea Asperti, Giuseppe Longo posted to types category-theory by pedagand on 2009-09-17 08:13:51 as along with 5 people and 1 group robotact AbnerCYH aleks alec masteraka Compilers
	Adoption and focus: practical linear types for imperative programming [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 13-24. by Manuel Fahndrich, Robert Deline posted to types substructural pl by tov on 2009-08-26 21:13:00 as along with 4 people and 1 group pedagand dherman bec voigt NU-PRL
	Observers for Linear Types [My Copy] In ESOP ’92: 4th European Symposium on Programming, Rennes, France, Proceedings, Vol. 582 (1992), pp. 390-407. by Martin Odersky posted to types substructural pl by tov on 2009-08-26 21:12:20 as
	Keynote address - data abstraction and hierarchy [My Copy] In OOPSLA '87: Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum) (1987), pp. 17-34. by Barbara Liskov posted to types subtyping obp1 liskov_substitution_principle by michalpise on 2009-08-26 14:02:25 as along with 1 person martinrytter
	Type Theory Should Eat Itself [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 228 (05 January 2009), pp. 21-36. by J. Chapman posted to language-agda meta-mathematics type-checker types by pedagand on 2009-07-26 23:21:16 as
	A family of syntactic logical relations for the semantics of Haskell-like languages [My Copy] Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368. by Patricia Johann, Janis Voigtländer posted to call-by-name deforestation errors free-theorems functional-programming haskell lambda-calculus lazy-evaluation logical-relations operational-semantics parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2009-07-19 07:38:42 as along with 1 person msakai
	Parametricity for Haskell with Imprecise Error Semantics [My Copy] Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308. by Florian Stenger, Janis Voigtländer edited by Pierre-Louis Curien posted to denotational-semantics exceptions free-theorems functional-programming haskell imprecise-errors lambda-calculus lazy-evaluation logical-relations nondeterminism parametricity polymorphism selective-strictness seq types by voigt on 2009-07-19 07:22:37 as along with 1 person msakai
	Elimination with a Motive [My Copy] Types for Proofs and Programs (2002), pp. 727-727. by Conor Mcbride posted to data-type dependent-types project-pre-phd proof theorem-prover types by pedagand on 2009-07-12 23:05:37 as
	DIFFERENT TYPES OF DISTURBED MOTOR CONTROL IN GAIT OF HEMIPARETIC PATIENTS [My Copy] Brain, Vol. 102, No. 2. (1 June 1979), pp. 405-430. by Evert Knutsson, Carol Richards posted to control hemiparetic motor types by kerno on 2009-07-07 13:46:19 as
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted to logic project-pre-phd types by pedagand on 2009-07-03 19:25:10 as along with 7 people and 1 group ddemange dimvar robertjohnsimmons robotact alec AndreasSchropp jonathlela ConcertRG
	Polymorphic effect systems [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 47-57. by J. M. Lucassen, D. K. Gifford posted to side-effects types by ama08r on 2009-07-03 15:16:50 as along with 6 people and 1 group assnoodles samth twleung pnkfelix tautologico bfraser NU-PRL
	Defending Musical Platonism [My Copy] Brit J Aesthetics, Vol. 42, No. 4. (1 October 2002), pp. 380-402. by Julian Dodd posted to music ontology tokens types by copyculture on 2009-06-23 05:09:19 as
	Type and Effect Systems [My Copy] In Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) (1999), pp. 114-136. by Flemming Nielson, Hanne R. Nielson posted to theory types by ama08r on 2009-06-16 16:18:49 as along with 2 people ddemange pedagand
	Annotated type and effect systems [My Copy] ACM Comput. Surv., Vol. 28, No. 2. (1996), pp. 344-345. by Flemming Nielson posted to side-effects theory types by ama08r on 2009-06-16 16:18:29 as
	Ownership transfer in universe types [My Copy] In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications (2007), pp. 461-478. by Peter Müller, Arsenii Rudich posted to theory types by ama08r on 2009-05-28 14:10:08 as
	Linear Regions Are All You Need [My Copy] Programming Languages and Systems (2006), pp. 7-21. by Matthew Fluet, Greg Morrisett, Amal Ahmed posted to side-effects theory types by ama08r on 2009-05-28 14:08:35 as
	Types for Dynamic Reconfiguration [My Copy] Programming Languages and Systems (2006), pp. 214-229. by Costa, Luís Caires posted to dynamic-software-updating types by ama08r on 2009-05-26 17:12:41 as
	Type Safety of Generics for the .NET Common Language Runtime [My Copy] Programming Languages and Systems (2006), pp. 325-341. by Nicu Fruja posted to object-oriented types by ama08r on 2009-05-26 17:12:25 as
	Type inference with simple subtypes [My Copy] Journal of Functional Programming, Vol. 1, No. 03. (1991), pp. 245-285. by John C. Mitchell posted to theory types by ama08r on 2009-05-26 17:12:12 as
	Ptolemy: A Language with Quantified, Typed Events [My Copy] ECOOP 2008 – Object-Oriented Programming (2008), pp. 155-179. by Hridesh Rajan, Gary Leavens posted to types by ama08r on 2009-05-26 17:11:10 as along with 1 person khatchad
	Principal Type Schemes for Modular Programs [My Copy] Programming Languages and Systems (2007), pp. 441-457. by Derek Dreyer, Matthias Blume posted to types by ama08r on 2009-05-26 17:11:04 as along with 1 group ConcertRG
	Integrating Nominal and Structural Subtyping [My Copy] In ECOOP '08: Proceedings of the 22nd European conference on Object-Oriented Programming (2008), pp. 260-284. by Donna Malayeri, Jonathan Aldrich posted to types by ama08r on 2009-05-26 17:10:27 as
	Hybrid types, invariants, and refinements for imperative objects [My Copy] In In International Workshop on Foundations and Developments of Object-Oriented Languages (2006) by Cormac Flanagan posted to object-oriented types by ama08r on 2009-05-26 17:10:20 as
	Gradual Typing for Objects [My Copy] ECOOP 2007 – Object-Oriented Programming (2007), pp. 2-27. by Jeremy Siek, Walid Taha posted to object-oriented types by ama08r on 2009-05-26 16:54:52 as along with 2 people jsiek mcclurmc
	Dynamic heap type inference for program understanding and debugging [My Copy] SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 39-46. by Marina Polishchuk, Ben Liblit, Chlo&\#235; W. Schulze posted to side-effects types by ama08r on 2009-05-26 16:54:29 as along with 1 person yang
	Combining structural subtyping and external dispatch [My Copy] In OOPSLA '07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion (2007), pp. 951-952. by Donna Malayeri posted to object-oriented types by ama08r on 2009-05-26 16:54:11 as
	A very modal model of a modern, major, general type system [My Copy] SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 109-122. by Andrew W. Appel, Paul A. Melliès, Christopher D. Richards, Jérôme Vouillon posted to theory types by ama08r on 2009-05-26 16:53:38 as along with 2 people robertjohnsimmons robdockins
	A Typed Assembly Language for Confidentiality [My Copy] Programming Languages and Systems (2006), pp. 162-179. by Dachuan Yu, Nayeem Islam posted to security types by ama08r on 2009-05-26 16:53:21 as
	Resource Usage Analysis [My Copy] (2002) by Atsushi Igarashi, Naoki Kobayashi posted to side-effects theory to-be-cited types by ama08r on 2009-05-26 16:50:39 as
	A flow-based approach for variant parametric types [My Copy] SIGPLAN Not., Vol. 41, No. 10. (2006), pp. 273-290. by Wei N. Chin, Florin Craciun, Siau C. Khoo, Corneliu Popeea posted to types by ama08r on 2009-05-26 16:25:23 as
	Ownership, Encapsulation and the Disjointness of Type and Effect [My Copy] In In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA (2002), pp. 292-310. by Dave Clarke, Sophia Drossopoulou posted to object-oriented side-effects types by ama08r on 2009-05-26 16:08:04 as
	Establishing object invariants with delayed types [My Copy] In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications (2007), pp. 337-350. by Manuel Fahndrich, Songtao Xia posted to object-oriented types by ama08r on 2009-05-26 16:05:24 as along with 1 person mattmight
	Declarative Object Identity Using Relation Types [My Copy] ECOOP 2007 – Object-Oriented Programming (2007), pp. 54-78. by Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby posted to object-oriented types by ama08r on 2009-05-26 16:04:41 as along with 1 person jweslley
	An operational semantics and type safety prooffor multiple inheritance in C++ [My Copy] SIGPLAN Not., Vol. 41, No. 10. (2006), pp. 345-362. by Daniel Wasserrab, Tobias Nipkow, Gregor Snelting, Frank Tip posted to object-oriented types by ama08r on 2009-05-26 16:03:27 as
	Type qualifier inference for java [My Copy] In OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications (2007), pp. 321-336. by David Greenfieldboyce, Jeffrey S. Foster posted to java types by ama08r on 2009-05-26 15:28:04 as
	Type-based race detection for Java [My Copy] In PLDI '00: Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, Vol. 35, No. 5. (May 2000), pp. 219-232. by Cormac Flanagan, Stephen N. Freund posted to java synchronisation types by ama08r on 2009-05-26 15:26:40 as along with 7 people mcclurmc web03 bec schuh srccheck newdawn zuleger
	The view from the left [My Copy] J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111. by Conor Mcbride, James Mckinna posted to dependent-types language-epigram project-pre-phd types by pedagand on 2009-05-26 10:53:58 as along with 7 people and 3 groups robertjohnsimmons spl jimburton byorgey dalev greenrd dmitri83 ConcertRG NU-PRL SRG_at_UCD
	Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close [My Copy] Univ., School of Math. & Comput. Sci (2005), pp. 389-407. by Henning Makholm, J. B. Wells posted to languages mobile-processes types by ama08r on 2009-05-07 11:12:24 as

Note: You may cite this page as: http://www.citeulike.org/tag/types

Result page: 1 2 3 4 5 6 7 8 9 10 Next

functional-programming	82
haskell	79
pl	38
polymorphism	37
ml	35
lambda-calculus	29
dependent-types	24
monads	22
type-theory	22
parametricity	19
type-classes	19
side-effects	18
effects	17
logical-relations	17
semantics	17
typeclasses	17
free-theorems	16
theory	16
category-theory	14
denotational-semantics	14
dependent	14
concurrency	13
generic-programming	13
icfp08	12
object-oriented	12
per	12
subtyping	11
continuations	10
oop	10
program-transformation	10
project-pre-phd	10
rank-2	10
seq	10
compiler	9
formal	9
java	9
lecture-cs-252r	9
security	9
compilers	8
dynamic-software-updating	8
lazy-evaluation	8
of	8
operational-semantics	8
records	8
selective-strictness	8
shortcut-deforestation	8
strict-evaluation	8
fp	7
functional-dependencies	7
language	7
programming	7
dynamic-types	6
functional	6
logic	6
memory-management	6
modules	6
ownership	6
pcf	6
project-master-thesis	6
scheme	6
type-inference	6
call-by-name	5
call-by-value	5
generic	5
language-haskell	5
laziness	5
objects	5
optimization	5
parproj	5
personality	5
pie	5
xml	5
deforestation	4
different	4
exceptions	4
history	4
homepage	4
intersection-types	4
javascript	4
languages	4
linear-types	4
macros	4
operating-system	4
proofs	4
typed-assembly-language	4
typesystems	4
behavioral	3
category	3
continuum	3
correlations	3
lambda	3
personalities	3
programming-language	3
recursion	3
regions	3
rewriting	3
styles	3
syb	3
termination	3
to-be-cited	3

Tag types [at least 200 articles] Export

Related Tags