thsutton's library 43 articles Export

	Facing Facts [My Copy] by Stephen Neale posted to language perth philosophy by thsutton on 2007-11-26 11:41:26 as
	Computing curricula 2001 [My Copy] J. Educ. Resour. Comput., Vol. 1, No. 3es. (2001) by Corporate edited by Corporate posted to cs curriculum education by thsutton on 2006-06-15 11:12:58 as
	Threads cannot be implemented as a library [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 261-268. by H. Hans-J posted to compilers concurrency cs languages programming threads by thsutton on 2006-04-11 05:03:54 as along with 11 people NickGasson sby DickSilver LittleWood kinaba JosephKoshy qiongc arsyed damaru Bluetulip brothers
	Complete translation of unsafe native code to safe bytecode [My Copy] In IVME '04: Proceedings of the 2004 workshop on Interpreters, virtual machines and emulators (2004), pp. 32-41. by Brian Alliet, Adam Megacz posted to code cs machines translation virtual by thsutton on 2006-04-07 01:58:17 as along with 1 person akuhn
	Language support for lightweight transactions [My Copy] In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 388-402. by Tim Harris, Keir Fraser posted to concurrency cs languages programming transactions by thsutton on 2006-03-31 06:28:45 as along with 10 people and 1 group veal ama08r tautologico robennals epaulson spl janschaefer RalfMitschke brecknell getpost TU-KL-SoftwareTechnologyGroup
	Permission-based ownership: encapsulating state in higher-order typed languages [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 96-106. by Neel Krishnaswami, Jonathan Aldrich posted to cs languages ownership programming theory type by thsutton on 2006-03-31 00:16:34 as along with 1 person bec
	Fun of Programming (Cornerstones of Computing S.) [My Copy] (30 June 2005) by Jeremy Gibbons, Oege de Moor posted to functional haskell languages programming by thsutton on 2006-03-27 13:27:00 as along with 2 people jimburton spl
	A Language for Mathematical Visualization [My Copy] In Proceedings of Functional and Declarative Languages in Education (September 2002) by John Peterson posted to cs education languages programming by thsutton on 2006-03-27 13:09:48 as
	The Educational Pearls column [My Copy] Journal of Functional Programming, Vol. 13 (2003), pp. 833-834. by Simon P. Jones, Phil Wadler posted to cs education languages programming by thsutton on 2006-03-27 13:07:06 as
	The structure and interpretation of the computer science curriculum [My Copy] Journal of Functional Programming, Vol. 14 (07 June 2004), pp. 365-378. by Matthias Felleisen, Robert B. Findler, Matthew Flatt, Shriram Krishnamurthi posted to cs education languages programming by thsutton on 2006-03-27 13:04:46 as
	Science, computational science, and computer science: at a crossroads [My Copy] In CSC '93: Proceedings of the 1993 ACM conference on Computer science (1993), pp. 7-14. by D. E. Stevenson posted to cs education language programming by thsutton on 2006-03-27 13:01:47 as along with 1 person pipitone
	Functional programming: more fundamental than BASIC [My Copy] SIGPLAN Lisp Pointers, Vol. VI, No. 2. (1993), pp. 43-48. by Iain Ferguson posted to cs education languages programming by thsutton on 2006-03-27 13:00:45 as
	Why Evolutionary Biology is (so far) Irrelevant to Law by Brian Leiter, Michael Weisberg [My Copy] (22 March 2006) by Brian R. Leiter, Michael Weisberg posted to biology evolutionary law papers by thsutton on 2006-03-23 11:32:31 as
	Essential language support for generic programming [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 73-84. by Jeremy G. Siek, Jeremy Siek, Andrew Lumsdaine posted to cs languages polymorphism programming theory type by thsutton on 2006-03-21 08:17:33 as along with 3 people yallop bec jsiek
	On Education (Thinking in Action) [My Copy] (15 December 2005) by Harry Brighouse posted to education philosophy reading by thsutton on 2006-03-19 07:23:48 as
	An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes [My Copy] SIGPLAN Not., Vol. 24, No. 10. (October 1989), pp. 49-70. by C. Chambers, D. Ungar, E. Lee posted to cs dynamic implementation languages oo programming prototypes theory type by thsutton on 2006-03-19 04:00:30 as along with 1 person akuhn
	Jingle Bells: Solving the Santa Claus Problem in Polyphonic C# [My Copy] (2003) by Nick Benton posted to calculus cs csharp join languages microsoft oo programming by thsutton on 2006-03-19 01:03:01 as
	Harry Potter and the Half-Crazed Bureaucracy [My Copy] Michigan Law Review, Vol. 104 (May 2006) by Benjamin H. Barton posted to harry law potter sciences social by thsutton on 2006-03-18 23:47:37 as
	Recursive functions of symbolic expressions and their computation by machine, Part I [My Copy] Commun. ACM, Vol. 3, No. 4. (April 1960), pp. 184-195. by John Mccarthy posted to cs data functional languages lisp programming by thsutton on 2006-03-18 11:13:35 as along with 6 people and 2 groups robertjohnsimmons BDFish egh rzach lop mxp ConcertRG LogicPhilMath
	Integrating support for undo with exception handling [My Copy] (December 2004) by Avraham Shinnar, David Tarditi, Mark Plesko, Bjarne Steensgaard posted to exception handling languages programming theory undo by thsutton on 2006-03-18 05:54:01 as
	Language Primitives and Type Discipline for Structured Communication-Based Programming [My Copy] In ESOP '98: Proceedings of the 7th European Symposium on Programming (1998), pp. 122-138. by Kohei Honda, Vasco T. Vasconcelos, Makoto Kubo posted to calculus cs languages logic parallel pi process programming theory type by thsutton on 2006-03-12 02:33:06 as along with 1 person keigoi
	Advanced Topics In Types And Programming Languages [My Copy] (19 November 2004) by Benjamin C. Pierce posted to books cs functional languages logic programming theory type by thsutton on 2006-03-06 04:20:05 as along with 9 people and 1 group ama08r draganigajic sstrickl tautologico voigt lyongu msakai jimburton shimomura Lambda the Ultimate
	Towards Applicative Relational Programming [My Copy] (28 Feb 2006) by H. Ibrahim, M. H. van Emden posted to constraint cs functional languages programming by thsutton on 2006-03-04 00:51:57 as
	Logical Pluralism [My Copy] (02 February 2006) by J. C. Beall, Greg Restall posted to books logic philosophy by thsutton on 2006-03-04 00:46:40 as along with 1 person cangaru
	Technology Education for Teachers [My Copy] (10 November 2000) by John Williams, Anthony Williams posted to books education technology by thsutton on 2006-03-03 06:08:45 as
	Designing effective step-by-step assembly instructions [My Copy] ACM Trans. Graph., Vol. 22, No. 3. (July 2003), pp. 828-837. by Maneesh Agrawala, Doantam Phan, Julie Heiser, et al.John Haymaker, Jeff Klingner, Pat Hanrahan, Barbara Tversky posted to algorithm cs drawing education technical by thsutton on 2006-03-01 10:28:05 as
	Disability In Australia: Exposing A Social Apartheid [My Copy] (28 February 2005) by Gerard Goggin, Christopher Newell posted to books education by thsutton on 2006-02-28 12:10:24 as along with 1 person claudiamichelle
	Educational Psychology for Learning and Teaching [My Copy] by Kerri L. Krause, Sandra Bochner, Sue Duchesne posted to books education by thsutton on 2006-02-28 12:09:34 as
	The Teaching for Understanding Guide (Jossey Bass Education Series) [My Copy] (14 November 1997) by Tina Blythe, Associates posted to books education by thsutton on 2006-02-28 12:09:19 as
	On the Revival of Dynamic Languages [My Copy] In Software Composition: 4th International Workshop, Vol. 3628 (2005) by Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, Stéphane Ducasse, Markus Gälli, Roel Wuyts edited by Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz posted to cs dynamic languages programming theory type by thsutton on 2006-02-27 03:01:34 as
	An expressive language of signatures [My Copy] SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 27-40. by Norman Ramsey, Kathleen Fisher, Paul Govereau posted to cs languages programming theory type by thsutton on 2006-02-26 23:14:41 as along with 2 people and 1 group zednenem josefs ConcertRG
	A Polymorphic Type System for Extensible Records and Variants [My Copy] No. NOTTCS-TR-96-3. (November 1996) by Benedict R. Gaster, Mark P. Jones posted to cs languages programming theory type by thsutton on 2006-02-26 06:00:03 as along with 7 people and 1 group dherman JeffreyPalmer sstrickl tautologico lyongu ryanc americovargas NU-PRL
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted to cs languages logic programming theory type by thsutton on 2006-02-26 05:51:35 as along with 13 people and 3 groups Scis0000002 fvogels draganigajic greenrd plaugg yallop voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
	Cross-National Correlations of Quantifiable Societal Health with Popular Religiosity and Secularism in the Prosperous Democracies [My Copy] Journal of Religion and Society, Vol. 7 (2005) by Gregory S. Paul posted to atheism social-science by thsutton on 2006-02-26 05:43:11 as along with 3 people soskarb laodan jklugman
	Lock-Free Data Structures using STMs in Haskell [My Copy] In Eighth International Symposium on Functional and Logic Programming (April 2006) by Anthony Discolo, Tim Harris, Simon Marlow, Simon P. Jones, Satnam Singh posted to cs data haskell java languages monads parallel programming by thsutton on 2006-02-26 05:33:44 as
	Finger trees: a simple general-purpose data structure [My Copy] Journal of Functional Programming, Vol. 16, No. 02. (March 2006), pp. 197-217. by Ralf Hinze, Ross Paterson posted to cs data haskell programming structures by thsutton on 2006-02-26 05:05:18 as
	iRho: an imperative rewriting calculus [My Copy] In PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming (2004), pp. 167-178. by Luigi Liquori, Bernard P. Serpette posted to calculus languages matching pattern programming rewriting by thsutton on 2006-02-26 04:41:57 as
	Matching Power [My Copy] In Proceedings of RTA'2001 (2001) by Horatiu Cirstea, Claude Kirchner, Luigi Liquori edited by Aart Middeldorp posted to calculus languages matching pattern programming rewriting by thsutton on 2006-02-26 04:19:01 as
	Interpreting the Data: Parallel Analysis with Sawzall (Draft) [My Copy] by Rob Pike, Sean Dorward, Robert Griesemer, Sean Quinlan posted to data distributed google languages parallel processing programming by thsutton on 2006-02-26 03:59:22 as along with 2 people and 1 group pdlug rahul SRL
	The Haskell Road To Logic, Maths And Programming [My Copy] (31 May 2004) by Kees Doets, Jan E. Van posted to haskell logic by thsutton on 2005-06-16 13:11:27 as along with 8 people and 1 group dsquared greg_restall grzegorz madhadron rgb flashfonic R13 jasmithoffice pileWorks
	Parsec, a fast combinator parser [My Copy] (4 October 2001) by Daan Leijen posted to combinators haskell monads parsec parsing project by thsutton on 2005-06-09 19:33:28 as
	Lotrec: the generic tableau prover for modal and description logics [My Copy] In International Joint Conference on Automated Reasoning (18-23 June June 2001) by L. Fariñas, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci posted to java logic modal project tableaux by thsutton on 2005-06-09 08:46:42 as
	Modal Tableaux with Propagation Rules and Structural Rules [My Copy] Fundamenta Informaticae, Vol. 32, No. 3/4. (1997) by Marcos Castilho, L. Fariñas, Olivier Gasquet, Andreas Herzig posted to logic modal project tableaux by thsutton on 2005-06-09 08:39:14 as

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

programming	26
cs	24
languages	24
education	12
theory	10
type	9
logic	7
books	6
haskell	5
calculus	4
data	4
functional	4
parallel	3
philosophy	3
project	3
concurrency	2
dynamic	2
java	2
language	2
law	2
matching	2
modal	2
monads	2
oo	2
pattern	2
rewriting	2
tableaux	2
algorithm	1
atheism	1
biology	1
code	1
combinators	1
compilers	1
constraint	1
csharp	1
curriculum	1
distributed	1
drawing	1
evolutionary	1
exception	1
google	1
handling	1
harry	1
implementation	1
join	1
lisp	1
machines	1
microsoft	1
ownership	1
papers	1
parsec	1
parsing	1
perth	1
pi	1
polymorphism	1
potter	1
process	1
processing	1
prototypes	1
reading	1
sciences	1
social	1
social-science	1
structures	1
technical	1
technology	1
threads	1
transactions	1
translation	1
undo	1
virtual	1

thsutton's library 43 articles Export

thsutton's tags