Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

mcclurmc's Ducasse:S [3 articles] Export

Recent papers posted to mcclurmc's library by the author Ducasse:S. You can also see everyone's Ducasse:S.

	Traits: The Formal Model [My Copy] Institut für Informatik, Universität (2002) by Nathanael Schärli, Oscar Nierstrasz, Stéphane Ducasse, Roel Wuyts, Andrew Black posted to oop traits by mcclurmc on 2009-05-26 21:51:27 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
	Higher Order Messaging [My Copy] In DLS '05: Proceedings of the 2005 conference on Dynamic languages symposium (2005), pp. 23-34. by Marcel Weiher, Stéphane Ducasse posted to message-passing oop by mcclurmc on 2007-12-15 18:02:53 as along with 1 person alombide

Note: You may cite this page as: http://www.citeulike.org/user/mcclurmc/author/Ducasse:S

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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
semantics	8
lambda-calculus	8
continuations	7
logic	6
theory-computation	6
distributed-programming	6
dsl	5
linear-types	4
curry-howard	4
ownership-types	4
scheme	4
interpreters	3
type-inference	3
metaprogramming	3
generics	3
graph-theory	3
traits	3
gadt	2
ssa	2
tutorial	2
inheritance	2
topology	2
functional-pearl	2
static-analysis	2
dependent-types	2
monad-transformers	2
coq	2
lazy	2
web-development	2
scala	1
adt	1
polymorphism	1
transformations	1
clustering	1
message-passing	1
language-spec	1
kernel-machine	1
datastructures	1
theorem-prover	1
graphics	1
c-plus-plus	1
physics	1
golf	1
effects	1
comonads	1
erlang	1

mcclurmc's Ducasse:S [3 articles] Export

mcclurmc's tags