ama08r's library 277 articles Export

	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
	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
	Data parallel Haskell: a status report [My Copy] In DAMP '07: Proceedings of the 2007 workshop on Declarative aspects of multicore programming (2007), pp. 10-18. by Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon P. Jones, Gabriele Keller, Simon Marlow posted to no-tag by ama08r on 2009-11-12 10:57:01 as along with 5 people jmmcg draganigajic tov brecknell pedagand
	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
	A Structural Approach to Operational Semantics [My Copy] No. DAIMI FN-19. (1981) by G. D. Plotkin posted to no-tag by ama08r on 2009-11-10 12:17:02 as along with 6 people and 2 groups assnoodles leonardo mkis keigoi janschaefer ds NU-PRL TU-KL-SoftwareTechnologyGroup
	Advanced Topics In Types And Programming Languages [My Copy] (19 November 2004) by Benjamin C. Pierce posted to no-tag by ama08r on 2009-11-10 12:16:31 as along with 9 people and 1 group draganigajic sstrickl tautologico thsutton voigt lyongu msakai jimburton shimomura Lambda the Ultimate
	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
	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 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
	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
	Lazy functional state threads [My Copy] In PLDI '94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, Vol. 29, No. 6. (June 1994), pp. 24-35. by John Launchbury, Simon L. Peyton Jones posted to side-effects functional-prog by ama08r on 2009-11-06 18:00:29 as along with 8 people and 2 groups spl fvogels draganigajic twleung dherman greenrd tautologico pedagand NU-PRL SRG_at_UCD
	Programming language challenges in systems codes: why systems programmers still use C, and what to do about it [My Copy] In PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems (2006), 9. by Jonathan Shapiro posted to no-tag by ama08r on 2009-11-06 17:59:49 as along with 3 people leosteinfeld keigoi pedagand
	Modeling Erlang in the pi-calculus [My Copy] In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77. by Thomas Noll, Chanchal K. Roy posted to picalc multi-threaded by ama08r on 2009-11-06 17:58:58 as along with 7 people and 3 groups tautologico dherman bfraser keigoi tov janschaefer mcclurmc NU-PRL TU-KL-SoftwareTechnologyGroup Lambda the Ultimate
	Encoding Information Flow in Haskell [My Copy] In CSFW '06: Proceedings of the 19th IEEE Workshop on Computer Security Foundations (2006) by Peng Li, Steve Zdancewic posted to functional-prog by ama08r on 2009-11-06 17:58:10 as along with 9 people shimomura michaelbanks draganigajic msakai criswell keigoi scavadini tesissvc pedagand
	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
	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
	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
	Afpac: Enforcing consistency during the adaptation of a parallel component [My Copy] posted to multi-threaded dynamic-software-updating by ama08r on 2009-09-08 12:30:27 as
	A dynamic operating system for sensor nodes [My Copy] In MobiSys '05: Proceedings of the 3rd international conference on Mobile systems, applications, and services (2005), pp. 163-176. by Chih C. Han, Ram Kumar, Roy Shea, Eddie Kohler, Mani Srivastava posted to dynamic-software-updating by ama08r on 2009-09-07 16:51:44 as along with 4 people xiaoqian810 leosteinfeld HailunTan mortenthansen
	Emily: A High Performance Language for Enabling Secure Cooperation [My Copy] In C5 '07: Proceedings of the Fifth International Conference on Creating, Connecting and Collaborating through Computing (2007), pp. 163-169. by Marc Stiegler posted to security object-oriented by ama08r on 2009-09-04 11:24:53 as
	Resilient software mirroring with untrusted third parties [My Copy] In HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades (2008), pp. 1-5. by Haavard Johansen, Dag Johansen posted to dynamic-software-updating by ama08r on 2009-08-26 12:43:12 as
	Consistently applying updates to compositions of distributed OSGi modules [My Copy] In HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades (2008), pp. 1-5. by Jan S. Rellermeyer, Michael Duller, Gustavo Alonso posted to dynamic-software-updating by ama08r on 2009-08-26 12:43:08 as
	Atomic upgrading of distributed systems [My Copy] In HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades (2008), pp. 1-5. by Sander van der Burg, Eelco Dolstra, Merijn de Jonge posted to dynamic-software-updating by ama08r on 2009-08-26 12:43:01 as
	Package upgrades in FOSS distributions [My Copy] posted to dynamic-software-updating by ama08r on 2009-08-26 12:42:55 as
	Issues in applying a model driven approach to reconfigurations of satellite software [My Copy] posted to dynamic-software-updating by ama08r on 2009-08-26 12:42:46 as
	Overcoming JVM HotSwap constraints via binary rewriting [My Copy] In HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades (2008), pp. 1-5. by Dong K. Kim, Eli Tilevich posted to java dynamic-software-updating by ama08r on 2009-08-26 12:42:33 as
	Introspecting continuations in order to update active code [My Copy] In HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades (2008), pp. 1-5. by Jérémy Buisson, Fabien Dagnat posted to to-be-cited functional-prog dynamic-software-updating by ama08r on 2009-08-26 12:42:22 as
	An operating system infrastructure for remote code update in deeply embedded systems [My Copy] posted to dynamic-software-updating by ama08r on 2009-08-26 12:42:06 as
	A language model for dynamic code updating [My Copy] In HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades (2008), pp. 1-5. by Pierre Duquesne, Ciarán Bryce posted to to-be-cited dynamic-software-updating by ama08r on 2009-08-26 12:41:26 as
	From Java to UpgradeJ: an empirical study [My Copy] In HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades (2008), pp. 1-5. by Ewan Tempero, Gavin Bierman, James Noble, Matthew Parkinson posted to java dynamic-software-updating by ama08r on 2009-08-26 12:40:11 as
	Dynamic Module Replacement in a Distributed Programming System [My Copy] by Toby Bloom posted to to-be-cited multi-threaded dynamic-software-updating by ama08r on 2009-08-19 12:05:48 as
	Runtime Support for Type-Safe Dynamic Java Classes [My Copy] ECOOP 2000 — Object-Oriented Programming (2000), pp. 337-361. by Scott Malabarba, Raju Pandey, Jeff Gragg, Earl Barr, J. Fritz Barnes posted to object-oriented java dynamic-software-updating by ama08r on 2009-08-18 15:12:42 as
	Type-based hot swapping of running modules (extended abstract) [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (2001), pp. 62-73. by Dominic Duggan posted to dynamic-software-updating by ama08r on 2009-08-18 15:12:19 as along with 1 person mperalta
	Modules, abstract types, and distributed versioning [My Copy] posted to dynamic-software-updating by ama08r on 2009-08-18 15:12:15 as
	Dynamic Reconfiguration of Distributed Applications [My Copy] by C. Hofmeister posted to dynamic-software-updating by ama08r on 2009-08-18 15:12:11 as
	The Evolving Philosophers Problem: Dynamic Change Management [My Copy] IEEE Transactions on Software Engineering, Vol. 16, No. 11. (November 1990), pp. 1293-1306. by J. Kramer, J. Magee posted to dynamic-software-updating by ama08r on 2009-08-18 15:11:14 as along with 2 people onierstrasz mpuhlmann
	Constructing Distributed Systems in Conic [My Copy] IEEE Trans. Softw. Eng., Vol. 15, No. 6. (1989), pp. 663-675. by Jeff Magee, Morris Sloman posted to dynamic-software-updating by ama08r on 2009-08-18 15:11:10 as
	Dynamic Software Updating. [My Copy] by Michael Hicks posted to dynamic-software-updating by ama08r on 2009-08-18 15:11:03 as

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

Result page: 1 2 3 4 5 6 Next

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

ama08r's library 277 articles Export

ama08r's tags