ama08r's types [58 articles] Export

Recent papers added to ama08r's library classified by the tag types. You can also see everyone's types.

	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted to types by ama08r on 2009-11-12 11:08:07 as along with 11 people and 1 group shimomura msakai rgrig yallop tautologico japple voigt kavabean geishagirls rysavy jimburton SRG_at_UCD
	Functional unparsing [My Copy] J. Funct. Program., Vol. 8, No. 6. (November 1998), pp. 621-625. by Olivier Danvy posted to types theory by ama08r on 2009-11-12 11:07:54 as along with 6 people pedagand draganigajic msakai keigoi cognominal spl
	Operational semantics for multi-language programs [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 3-10. by Jacob Matthews, Robert B. Findler posted to types theory languages by ama08r on 2009-11-12 11:05:18 as along with 2 people and 1 group keigoi janschaefer TU-KL-SoftwareTechnologyGroup
	Hybrid type checking [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 245-256. by Cormac Flanagan posted to types theory by ama08r on 2009-11-12 11:00:46 as along with 5 people and 2 groups pedagand greenrd dsilva bec janschaefer SRG_at_UCD TU-KL-SoftwareTechnologyGroup
	Dependent Types in Practical Programming [My Copy] In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227. by Howgwei Xi, Frank Pfenning posted to types theory by ama08r on 2009-11-12 10:53:48 as along with 10 people and 1 group talototo darinm draganigajic dherman tautologico bdauvergne radico mstone sclv pedagand NU-PRL
	Haskell Session Types with (Almost) No Class [My Copy] In Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell (2008), pp. 25-36. by Riccardo Pucella, Jesse A. Tov posted to types session-types by ama08r on 2009-11-10 12:15:46 as along with 4 people pedagand shimomura tov keigoi
	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 21 people and 2 groups wain 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
	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
	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
	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
	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
	Typing safe deallocation [My Copy] posted to memory types by ama08r on 2009-05-26 17:16:30 as
	Modularly Typesafe Interface Dispatch in JPred [My Copy] posted to types by ama08r on 2009-05-26 17:15:19 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
	Typed Memory Management via Static Capabilities [My Copy] by Walker, Crary, Morrisett posted to memory side-effects theory types by ama08r on 2009-05-26 17:12:02 as
	Type-based amortised heap-space analysis [My Copy] posted to performance types by ama08r on 2009-05-26 17:11:35 as
	Safe Type-level Abstraction in Scala [My Copy] posted to types by ama08r on 2009-05-26 17:11:22 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
	Ownership Type Systems and Dependent Classes [My Copy] posted to object-oriented types by ama08r on 2009-05-26 17:10:52 as
	On Decidability of Nominal Subtyping with Variance [My Copy] posted to theory types by ama08r on 2009-05-26 17:10:41 as
	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
	Computational Soundness and Adequacy for Typed Object Calculus [My Copy] posted to object-oriented types by ama08r on 2009-05-26 17:04:05 as
	Formalizing and Extending C# Type Inference [My Copy] posted to languages object-oriented types by ama08r on 2009-05-26 17:02:37 as
	Generic Universe Types [My Copy] In FOOL/WOOD 2007 posted to types by ama08r on 2009-05-26 17:01:28 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 along with 1 person jcreed
	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 Safe Nondeterminism - A Formal Semantics of Java Threads [My Copy] posted to java multi-threaded types by ama08r on 2009-05-26 15:28:55 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
	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
	Resource usage analysis [My Copy] ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (March 2005), pp. 264-313. by Atsushi Igarashi, Naoki Kobayashi posted to functional-prog theory types by ama08r on 2009-04-24 19:30:13 as along with 4 people shimomura gerold pejo keigoi
	Ownership types for object encapsulation [My Copy] SIGPLAN Not., Vol. 38, No. 1. (2003), pp. 213-223. by Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira posted to object-oriented types by ama08r on 2008-12-19 16:59:15 as
	Ownership types and safe lazy upgrades in object-oriented databases [My Copy] (2002) by Rasekhar Boyapati, Barbara Liskov, Liuba Shrira posted to databases dynamic-software-updating types by ama08r on 2008-12-19 16:57:51 as
	Practical dynamic software updating for C [My Copy] SIGPLAN Not., Vol. 41, No. 6. (2006), pp. 72-83. by Iulian Neamtiu, Michael Hicks, Gareth Stoyle, Manuel Oriol posted to dynamic-software-updating formal to-be-cited types by ama08r on 2008-12-19 16:50:26 as

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

Result page: 1 2 Next

theory	82
types	58
dynamic-software-updating	56
object-oriented	40
session-types	31
java	27
concurrency	23
languages	19
multi-threaded	14
side-effects	14
functional-prog	14
to-be-cited	14
comp-arch	14
distributed	12
synchronisation	9
formal	8
memory	7
transactions	6
mobile-processes	6
communication	5
software-engineering	4
hardware	4
security	4
industry	4
performance	3
biocomputing	3
picalc	3
databases	3
model-checking	2
modelling	2
erlang	2
neurocomputing	1
networks	1
tools	1

ama08r's types [58 articles] Export

ama08r's tags