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.

jacob's Felleisen:M [4 articles] Export

Recent papers posted to jacob's library by the author Felleisen:M. You can also see everyone's Felleisen:M.

	On the Expressive Power of Programming Languages [My Copy] In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen edited by N. Jones posted to contextual-equivalence expressiveness multilang semantics by jacob on 2007-03-04 03:14:07 as along with 23 people and 1 group MatzeB azwinkau samth pedagand dherman edcdave kschiess jrw kinaba zednenem water451 ryanc bunge mmuecke KarlKlose calvins pirapira ds mldechert jsiek dfisher fgeller jkominek NU-PRL
	Models of continuations without continuations [My Copy] In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 185-196. by Dorai Sitaram, Matthias Felleisen posted to continuations by jacob on 2005-01-05 18:18:23 along with 5 people and 1 group samth twleung JacquesC JeffreyPalmer dsilva NU-PRL
	A Reduction Semantics for Imperative Higher-Order Languages [My Copy] In Proceedings of the Parallel Architectures and Languages Europe, Volume I (1987), pp. 206-223. by Matthias Felleisen, Daniel P. Friedman posted to reduction-semantics by jacob on 2004-12-10 00:05:25 along with 2 people and 1 group samth ryanc NU-PRL
	Automatically Restructuring Programs for the Web [My Copy] Automated Software Engg., Vol. 11, No. 4. (October 2004), pp. 337-364. by Jacob Matthews, Robert B. Findler, Paul Graunke, Shriram Krishnamurthi, Matthias Felleisen posted to continuations cps plt by jacob on 2004-12-09 23:29:54 along with 4 people and 1 group samth JeffreyPalmer yallop dfisher NU-PRL

Note: You may cite this page as: http://www.citeulike.org/user/jacob/author/Felleisen:M

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.

multilang	28
haskell	10
dsel	10
ffi	9
compilers	9
type-safety	7
continuations	6
cps	6
semantics	5
logic	5
tree-edit-distance	4
contextual-equivalence	3
applications	3
bisimulation	2
concurrency	2
dsl	2
reduction-semantics	2
plt	2
cfa	1
expressiveness	1
hybrid-types	1
defunctionalization	1
garbage-collection	1
static-analysis	1
memory	1
partial-evaluation	1
java	1
imperative-functional-programming	1
denotational-semantics	1

jacob's Felleisen:M [4 articles] Export

jacob's tags