mcclurmc's programming-language-design [20 articles] Export

Recent papers added to mcclurmc's library classified by the tag programming-language-design. You can also see everyone's programming-language-design.

Hide details

	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 static-analysis programming-language-design java by mcclurmc on 2009-11-01 21:43:46 as along with 7 people ama08r web03 bec schuh srccheck newdawn zuleger
	Finding Faults in Multi-Threaded Programs [My Copy] Master’s thesis (2001) by Cyrille Artho posted to static-analysis programming-language-design java concurrency by mcclurmc on 2009-11-01 17:01:58 as
	SafeJava: A Unified Type System for Safe Programming [My Copy] (2004) by Chandrasekhar Boyapati, Chandrasekhar Boyapati, Martin C. Rinard posted to type-theory programming-language-design java concurrency compilers by mcclurmc on 2009-09-18 03:06:42 as
	Types for safe locking: Static race detection for Java [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 28 (2006) by Martin Abadi, Cormac Flanagan, Stephen N. Freund posted to type-theory programming-language-design ownership-types java concurrency compilers by mcclurmc on 2009-09-18 03:04:37 as
	Ownership Types for Safe Programming: Preventing Data Races and Deadlocks [My Copy] (2002) by Chandrasekhar Boyapati, Robert Lee, Martin Rinard posted to programming-language-design ownership-types java concurrency compilers by mcclurmc on 2009-09-18 02:58:50 as
	Ownership Types for Object Encapsulation [My Copy] In In Principles of Programming Languages (POPL (2003), pp. 213-223. by Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira posted to programming-language-design ownership-types oop java compilers by mcclurmc on 2009-09-18 02:58:08 as
	A Parameterized Type System for Race-Free Java Programs [My Copy] (2001) by Chandrasekhar Boyapati, Martin Rinard posted to programming-language-design ownership-types concurrency compilers by mcclurmc on 2009-09-18 02:56:39 as
	Synthesizing object-oriented and functional design to promote re-use [My Copy] In In European Conference on Object-Oriented Programming, Vol. 1445 (1998), pp. 91-113. by Shriram Krishnamurthi, Matthias Felleisen, Daniel posted to monads oop programming-language-design by mcclurmc on 2009-06-04 22:18:51 as
	Traits: Composable Units of Behavior [My Copy] In CSE 02-012 (25 November 2002) by Nathanael Scharli, Stephane Ducasse, Oscar Nierstrasz, Andrew Black posted to oop programming-language-design type-theory by mcclurmc on 2009-05-21 22:05:47 as
	The join calculus: a language for distributed mobile programming [My Copy] (1 July 2000) by C. Fournet, G. Gonthier posted to concurrency distributed-programming programming-language-design by mcclurmc on 2009-03-11 16:22:40 as along with 2 people tautologico tlockney
	Higher Order Combinators for Join Patterns using STM [My Copy] by Satnam Singh posted to concurrency pi-calculus programming-language-design by mcclurmc on 2009-03-04 00:38:49 as
	Bananas in space: Extending fold and unfold to exponential types [My Copy] (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted to category-theory programming-language-design by mcclurmc on 2008-08-14 22:01:58 as
	Call-by-Push-Value: A Subsuming Paradigm [My Copy] In in Proc. TLCA ’99, Vol. 1581 (1999), pp. 228-242. by Paul B. Levy posted to programming-language-design semantics by mcclurmc on 2008-08-13 00:01:29 as
	A Syntactic Approach to Type Soundness [My Copy] Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94. by Andrew K. Wright, Matthias Felleisen posted to programming-language-design semantics type-theory by mcclurmc on 2008-05-23 18:05:04 as along with 11 people and 2 groups vkp greenrd tautologico bunge tov KarlKlose glaubersp mvermaat gkuan sclv nominolo SRG_at_UCD Lambda the Ultimate
	An Embedded Domain-Specific Language for Type-Safe Server-Side Web-Scripting [My Copy] by Peter Thiemann posted to dsl programming-language-design web-development by mcclurmc on 2008-05-19 15:56:43 as
	Monad transformers and modular interpreters [My Copy] In Conference record of POPL '95, 22nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages: San Francisco, California, January 22--25, 1995 (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones edited by M. Ac posted to interpreters monads programming-language-design by mcclurmc on 2008-05-19 15:55:11 as
	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 concurrency distributed-programming erlang pi-calculus programming-language-design semantics by mcclurmc on 2008-04-01 20:34:43 as along with 7 people and 3 groups ama08r tautologico dherman bfraser keigoi tov janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup Lambda the Ultimate
	Mechanized metatheory for the masses: The POPLmark Challenge [My Copy] (2005) by B. Aydemir, A. Bohannon, M. Fairbairn, et al.J. Foster, B. Pierce, P. Sewell, D. Vytiniotis, G. Washburn, S. Weirich, S. Zdancewic posted to lambda-calculus programming-language-design type-theory by mcclurmc on 2008-03-27 17:05:57 as
	Featherweight Java: A Minimal Core Calculus for Java and GJ [My Copy] In Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages \& Applications (OOPSLA`99), Vol. 34(10) (1999), pp. 132-146. by Atshushi Igarashi, Benjamin Pierce, Philip Wadler edited by Loren Meissner posted to oop programming-language-design by mcclurmc on 2008-03-27 17:03:05 as along with 5 people and 1 group joker13 samth yang KarlKlose sjrogers NU-PRL
	Continuation-Based Multiprocessing Revisited [My Copy] Higher-Order and Symbolic Computation, Vol. 12, No. 3. (1 October 1999), pp. 283-283. by Mitchell Wand posted to concurrency continuations programming-language-design scheme by mcclurmc on 2008-03-12 22:53:33 as along with 1 group Lambda the Ultimate

Note: You may cite this page as: http://www.citeulike.org/user/mcclurmc/tag/programming-language-design

type-theory	40
concurrency	28
functional-programming	26
oop	24
haskell	22
programming-language-design	20
monads	15
compilers	12
category-theory	11
pi-calculus	10
java	8
lambda-calculus	8
semantics	8
continuations	7
distributed-programming	6
logic	6
theory-computation	6
dsl	5
curry-howard	4
linear-types	4
ownership-types	4
scheme	4
generics	3
graph-theory	3
interpreters	3
metaprogramming	3
traits	3
type-inference	3
coq	2
dependent-types	2
functional-pearl	2
gadt	2
inheritance	2
lazy	2
monad-transformers	2
ssa	2
static-analysis	2
topology	2
tutorial	2
web-development	2
adt	1
clustering	1
comonads	1
c-plus-plus	1
datastructures	1
effects	1
erlang	1
golf	1
graphics	1
kernel-machine	1
language-spec	1
message-passing	1
physics	1
polymorphism	1
scala	1
theorem-prover	1
transformations	1

mcclurmc's programming-language-design [20 articles] Export

mcclurmc's tags