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.

twleung's Leroy:X [4 articles] Export

Recent papers posted to twleung's library by the author Leroy:X. You can also see everyone's Leroy:X.

	The ZINC experiment : an economical implementation of the ML language [My Copy] No. RT-0117. (February 1990) by Xavier Leroy posted to compilers ml by twleung on 2005-01-08 23:55:30 as along with 4 people and 1 group dherman eaubin JeffreyPalmer JosephKoshy NU-PRL
	An overview of Types in Compilation [My Copy] (1998) by X. Leroy posted to compilers types by twleung on 2005-01-06 08:05:07 along with 2 people hamish JeffreyPalmer
	A Bytecode-Compiled, Type-safe, Multi-Stage Language [My Copy] by Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy posted to metaocaml metaprogramming staging by twleung on 2005-01-06 07:45:43 along with 3 people and 1 group JacquesC JeffreyPalmer Ema NU-PRL
	A modular module system [My Copy] Journal of Functional Programming, Vol. 10, No. 3. (2000), pp. 269-303. by Xavier Leroy posted to modules by twleung on 2005-01-06 07:44:32 along with 4 people JeffreyPalmer zednenem Ema KarlKlose

Note: You may cite this page as: http://www.citeulike.org/user/twleung/author/Leroy:X

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.

monads	12
types	12
staging	11
continuations	11
dsms	10
dsl	10
erlang	10
compilers	7
effects	5
macros	5
metaprogramming	4
partial-evaluation	4
cps	4
aop	3
query-optimization	3
query-languages	3
linearity	3
p2p	3
ml	2
fp	2
metaml	2
language-design	2
semantics	2
bittorrent	2
patterns	2
interpreters	2
pubsub	2
metaocaml	2
exceptions	2
clean	1
predicate-dispatch	1
modules	1
opensource	1
views	1
chord	1
multimethods	1
pattern-matching	1
concurrency	1
dependent-types	1
java	1
setl	1
python	1
networks	1
dht	1
components	1

twleung's Leroy:X [4 articles] Export

twleung's tags