jff's Oliveira:JN [9 articles] Export Sort

Recent papers posted to jff's library by the author Oliveira:JN. You can also see everyone's Oliveira:JN.

Hide details

	Generic Program Transformation [My Copy] Vol. 1608 (1999), pp. 116-149. by Oege de Moor, Ganesh Sittampalam edited by Doaitse S. Swierstra, Pedro R. Henriques, José N. Oliveira posted to rcb-bibfile by jff on 2008-05-07 12:57:38 as
	Generic Program Transformation [My Copy] In 3rd International Summer School on Advanced Functional Programming, Braga, Portugal, 12th-19th September, 1998, Vol. 1608 (1999), pp. 116-149. by Oege de Moor, Ganesh Sittampalam edited by Doaitse S. Swierstra, Pedro R. Henriques, José N. Oliveira posted to rcb-bibfile by jff on 2008-05-07 12:57:38 as
	Using MetaML: a staged programming language [My Copy] Vol. 1608 (1999), pp. 207-239. by Tim Sheard edited by Doaitse S. Swierstra, Pedro R. Henriques, José N. Oliveira posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Using MetaML: a staged programming language [My Copy] In 3rd International Summer School on Advanced Functional Programming, Braga, Portugal, 12th-19th September, 1998, Vol. LNCS 1608 (1999), pp. 207-239. by Tim Sheard edited by Doaitse S. Swierstra, Pedro R. Henriques, José N. Oliveira posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	3rd International Summer School on Advanced Functional Programming, Braga, Portugal, 12th-19th September, 1998 [My Copy] Vol. 1608 (1999) edited by Doaitse S. Swierstra, Pedro R. Henriques, José N. Oliveira posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Generic Programming. An Introduction [My Copy] Vol. 1608 (1999), pp. 28-115. by Roland Backhouse, Patrik Jansson, Johan Jeuring, Lambert Meertens edited by Doaitse S. Swierstra, Pedro R. Henriques, José N. Oliveira posted to rcb-bibfile by jff on 2008-05-07 12:57:20 as
	Mathematics of Program Construction, 5th International Conference, MPC 2000 [My Copy] Vol. 1837 (July 2000) edited by Roland Backhouse, José N. Oliveira posted to rcb-bibfile by jff on 2008-05-07 12:57:19 as
	Camila Revival: VDM meets Haskell [My Copy] In {F}irst {O}verture {W}orkshop (July 2005) by Joost Visser, José N. Oliveira, João F. Ferreira, Alexandra S. Mendes posted to afm-bib by jff on 2006-09-26 12:00:29 as along with 4 groups Crypto GraphTheory Foundations-of-Programming TMC
	Camila Revival: VDM meets Haskell [My Copy] In First Overture Workshop (2005) by Joost Visser, José N. Oliveira, Luis S. Barbosa, João F. Ferreira, Alexandra S. Mendes posted to jff-bib by jff on 2006-09-26 12:00:15 as along with 4 groups Crypto GraphTheory Foundations-of-Programming TMC

Note: You may cite this page as: http://www.citeulike.org/user/jff/author/Oliveira:JN

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.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

ewd-bib	1262
rcb-bibfile	855
math-bib	28
calculational	17
jff-bib	16
number-theory	15
algorithms	14
calculational-bib	11
problem-solving	10
general-bib	9
mathematical-methodology	9
construction	7
algorithm-derivation	7
invariant	6
rcb-bib	5
stern-brocot	5
correctness	5
mathis	4
inversion	4
book	4
haskell	3
calkin-wilf	3
ordinals	3
computability	3
chessboard	3
euclidean-algorithm	3
brocot	3
knuth-bib	2
history	2
gauss	2
logic	2
cacm	2
mathematics	2
greatest-common-divisor	2
trominoes	2
education	2
proof	2
rational-number	2
tiling	2
boute	1
feedback	1
latex-computer-file	1
ai-natural-language-understanding-historical-context-semantics	1
turing	1
fixed-point	1
afm-bib	1
code	1
moessner	1
inequivalence	1
quantifiers	1
fm	1
computerized-typesetting	1
games	1
continuants	1
puzzled	1
golomb	1
urm	1
generating-functions	1
formal	1
java	1
computational-thinking	1
parallel-computing	1
solitaire	1
epigram	1
unplugged	1
exclusive-or	1
puzzle	1
eisenstein	1
taocp	1
enumeration	1
bruijn	1
cs	1
polyominoes	1
wing	1
predicates	1

jff's Oliveira:JN [9 articles] Export Sort

jff's tags