ama08r's theory [82 articles] Export

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

	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
	Composable memory transactions [My Copy] In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 48-60. by Tim Harris, Simon Marlow, Simon P. Jones, Maurice Herlihy posted to theory memory concurrency by ama08r on 2009-11-12 11:06:58 as along with 25 people and 3 groups pwais bhoward fukumori gakincho amp269 fvogels bfraser draganigajic hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer kazuya pedagand brecknell frej ConcertRG SRG_at_UCD TU-KL-SoftwareTechnologyGroup
	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
	Foundations for structured programming with GADTs [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308. by Patricia Johann, Neil Ghani posted to theory by ama08r on 2009-11-12 11:04:48 as along with 6 people and 1 group talototo spl draganigajic hellige msakai jimburton Lambda the Ultimate
	A critique of Abelson and Sussman or why calculating is better than scheming [My Copy] SIGPLAN Not., Vol. 22, No. 3. (March 1987), pp. 83-94. by P. Wadler posted to theory by ama08r on 2009-11-12 11:04:21 as along with 9 people and 1 group claudiamichelle jkominek spl tarampam samth dherman tautologico croys ben_moseley NU-PRL
	Reversing algebraic process calculi [My Copy] Journal of Logic and Algebraic Programming In Foundations of Software Science and Computation Structures 2006 (FOSSACS 2006), Vol. 73, No. 1-2. ( 2007), pp. 70-96. by Iain Phillips, Irek Ulidowski posted to theory by ama08r on 2009-11-12 11:03:06 as along with 3 people keigoi shimomura leonardo
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted to theory by ama08r on 2009-11-12 11:02:33 as along with 8 people and 2 groups dherman JacquesC greenrd cedricboidin zednenem msakai bonotake mcclurmc NU-PRL SRG_at_UCD
	Comprehending monads [My Copy] In LFP '90: Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 61-78. by Philip Wadler posted to theory by ama08r on 2009-11-12 11:01:43 as along with 3 people bfraser spl keigoi
	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
	A structural approach to operational semantics [My Copy] Journal of Logic and Algebraic Programming In Structural Operational Semantics, Vol. 60-61 ( 2004), pp. 17-139. posted to theory by ama08r on 2009-11-12 10:59:49 as along with 4 people michaelbanks shimomura keigoi leonardo
	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
	Pointer analysis: haven't we solved this problem yet? [My Copy] In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 54-61. by Michael Hind posted to theory by ama08r on 2009-11-06 18:05:16 as along with 10 people and 2 groups _Anne_ plaugg pejo wasi salagnac martink linekin keigoi janschaefer srccheck Verimag TU-KL-SoftwareTechnologyGroup
	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
	Wait-free synchronization [My Copy] ACM Trans. Program. Lang. Syst., Vol. 13, No. 1. (January 1991), pp. 124-149. by Maurice Herlihy posted to theory multi-threaded by ama08r on 2009-11-06 18:03:36 as along with 12 people education02 fvogels chiayung pedagand kistijantoro jrw tautologico orish myui NSumner meisner robdockins
	Fast and loose reasoning is morally correct [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. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted to theory by ama08r on 2009-11-06 18:02:13 as along with 7 people and 2 groups spl pedagand voigt p1738j aleks Benja paper_jac ConcertRG Compilers
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted to theory functional-prog by ama08r on 2009-11-06 18:01:26 as along with 31 people and 4 groups ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand SRL SRG_at_UCD complogic Lambda the Ultimate
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted to theory by ama08r on 2009-11-06 18:01:01 as along with 18 people and 4 groups jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup
	Causing Communication Closure: Safe Program Composition with Non-FIFO Channels [My Copy] Distributed Computing (2005), pp. 229-243. by Kai Engelhardt, Yoram Moses posted to theory communication by ama08r on 2009-10-05 16:04:44 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
	An Equational Notion of Lifting Monad [My Copy] In TITLE WILL BE SET BY THE PUBLISHER, Vol. 294 (2003) by Anna Bucalo, Carsten Führmann, Alex Simpson posted to theory by ama08r on 2009-05-29 11:48:54 as
	Transactions with isolation and cooperation [My Copy] SIGPLAN Not., Vol. 42, No. 10. (2007), pp. 191-210. by Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young posted to theory transactions by ama08r on 2009-05-28 14:12:50 as
	Transactional memory: architectural support for lock-free data structures [My Copy] In ISCA '93: Proceedings of the 20th annual international symposium on Computer architecture, Vol. 21, No. 2. (May 1993), pp. 289-300. by Maurice Herlihy, Eliot posted to memory synchronisation theory transactions by ama08r on 2009-05-28 14:12:44 as along with 8 people and 1 group MatzeB mogwaing epaulson mdekruijf sharshera mwmarkland sby myui SCAL
	Towards a mechanized metatheory of standard ML [My Copy] SIGPLAN Not., Vol. 42, No. 1. (2007), pp. 173-184. by Daniel K. Lee, Karl Crary, Robert Harper posted to functional-prog theory by ama08r on 2009-05-28 14:12:33 as
	The reflexive CHAM and the join-calculus [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 372-385. by Cédric Fournet, Georges Gonthier posted to theory by ama08r on 2009-05-28 14:12:21 as along with 1 person and 1 group pedagand ConcertRG
	Semantics of transactional memory and automatic mutual exclusion [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 63-74. by Mart'in Abadi, Andrew Birrell, Tim Harris, Michael Isard posted to synchronisation theory transactions by ama08r on 2009-05-28 14:12:08 as along with 5 people fvogels bhoward amp269 brecknell pedagand
	Safe Cross-Language Inheritance [My Copy] ECOOP 2008 – Object-Oriented Programming (2008), pp. 52-75. by Kathryn Gray posted to languages object-oriented theory by ama08r on 2009-05-28 14:11:10 as
	Region-Based Memory Management [My Copy] (1997) by Mads Tofte, Jean-Pierre Talpin posted to memory side-effects theory by ama08r on 2009-05-28 14:11:00 as
	Regional Logic for Local Reasoning about Global Invariants [My Copy] ECOOP 2008 – Object-Oriented Programming In ECOOP '08: Proceedings of the 22nd European conference on Object-Oriented Programming (2008), pp. 387-411. by Anindya Banerjee, David Naumann, Stan Rosenberg posted to synchronisation theory by ama08r on 2009-05-28 14:10:42 as along with 1 person mdeters
	RacerX: effective, static detection of race conditions and deadlocks [My Copy] In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles (2003), pp. 237-252. by Dawson Engler, Ken Ashcraft posted to synchronisation theory by ama08r on 2009-05-28 14:10:36 as along with 3 people plaugg NSumner zuleger
	Parameterized Modules for Classes and Extensible Functions [My Copy] ECOOP 2006 – Object-Oriented Programming (2006), pp. 353-378. by Keunwoo Lee, Craig Chambers posted to object-oriented theory by ama08r on 2009-05-28 14:10:28 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
	Modular verification of a non-blocking stack [My Copy] SIGPLAN Not., Vol. 42, No. 1. (2007), pp. 297-302. by Matthew Parkinson, Richard Bornat, Peter O'Hearn posted to theory by ama08r on 2009-05-28 14:09:54 as
	High-level small-step operational semantics for transactions [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 51-62. by Katherine F. Moore, Dan Grossman posted to theory transactions by ama08r on 2009-05-28 14:09:42 as along with 1 person fvogels
	Metaprogramming with Traits [My Copy] ECOOP 2007 – Object-Oriented Programming (2007), pp. 373-398. by John Reppy, Aaron Turon posted to object-oriented theory by ama08r on 2009-05-28 14:09:02 as along with 1 person mcclurmc
	Lock allocation [My Copy] In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2007), pp. 291-296. by Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar posted to synchronisation theory by ama08r on 2009-05-28 14:08:47 as along with 2 people NSumner jfischer
	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
	Haskell Is Not Not ML [My Copy] Programming Languages and Systems (2006), pp. 38-53. by Ben Rudiak-Gould, Alan Mycroft, Simon Jones posted to functional-prog theory by ama08r on 2009-05-28 14:08:16 as along with 1 person spl
	First-class nonstandard interpretations by opening closures [My Copy] SIGPLAN Not., Vol. 42, No. 1. (2007), pp. 71-76. by Jeffrey M. Siskind, Barak A. Pearlmutter posted to theory by ama08r on 2009-05-28 14:08:03 as
	Fine-Grained Api Evolution for Method Deprecation and Anti-Deprecation [My Copy] posted to dynamic-software-updating theory by ama08r on 2009-05-28 14:07:52 as
	Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing [My Copy] SIGPLAN Not., Vol. 41, No. 10. (October 2006), pp. 263-272. by Kenneth Russell, David Detlefs posted to synchronisation theory by ama08r on 2009-05-28 14:07:38 as along with 2 people ReiOdaira myui
	Property Types - Semantic Programming for Java [My Copy] posted to java theory by ama08r on 2009-05-26 17:15:55 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
	On Decidability of Nominal Subtyping with Variance [My Copy] posted to theory types by ama08r on 2009-05-26 17:10:41 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
	Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 171, No. 4. (July 2007), pp. 73-93. by Nobuko Yoshida, Vasco T. Vasconcelos posted to session-types theory by ama08r on 2009-05-26 16:51:11 as along with 3 people msakai keigoi shimomura
	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
	Refinement calculus, part I: Sequential nondeterministic programs [My Copy] Lecture Notes in Computer Science : Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness (1990), pp. 42-66. by R. J. R. Back, J. von Wright posted to theory by ama08r on 2009-05-26 16:35:09 as along with 1 person leonardo
	Belief in Information Flow [My Copy] In CSFW '05: Proceedings of the 18th IEEE workshop on Computer Security Foundations (2005), pp. 31-45. by Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider posted to theory by ama08r on 2009-05-26 16:34:52 as

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

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 theory [82 articles] Export

ama08r's tags