JeffreyPalmer's Benton:N [5 articles] Export

Recent papers posted to JeffreyPalmer's library by the author Benton:N. You can also see everyone's Benton:N.

	Monads and Effects [My Copy] (2000) by Nick Benton, John Hughes, Eugenio Moggi posted to monads by JeffreyPalmer on 2006-11-10 03:02:16 as along with 4 people MartinSchuerrer draganigajic tautologico glaubersp
	Simple relational correctness proofs for static analyses and program transformations [My Copy] (2004) by N. Benton posted to type-theory by JeffreyPalmer on 2005-02-25 02:11:48 as
	Type Inference in MLj [My Copy] (2000) by B. Mcadam, A. Kennedy, N. Benton posted to java sml type-theory by JeffreyPalmer on 2005-01-23 14:07:47 as
	Interlanguage Working Without Tears: Blending SML with Java [My Copy] In International Conference on Functional Programming (1999), pp. 126-137. by Nick Benton, Andrew Kennedy posted to compilers jvm sml by JeffreyPalmer on 2005-01-23 14:06:09 as along with 1 person jacob
	Compiling Standard ML to Java Bytecodes [My Copy] In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 129-140. by Nick Benton, Andrew Kennedy, George Russell posted to compilers sml by JeffreyPalmer on 2005-01-23 14:03:05 as along with 1 person tautologico

Note: You may cite this page as: http://www.citeulike.org/user/JeffreyPalmer/author/Benton:N

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.

language-implementation	36
compilers	35
dsms	27
functional-programming	26
monads	23
dsl	21
erlang	18
type-theory	15
query-languages	15
haskell	14
scheme	13
lisp	12
multi-stage-languages	11
requirements	11
continuations	11
query-optimization	10
partial-evaluation	9
components	9
sml	8
distributed-computing	7
macros	6
concurrent-programming	6
version-management	6
smalltalk	6
language-design	5
common-sense	5
oop	5
google-tech	5
ontology	5
search	5
combinators	4
modules	4
for-matt	4
distributed-dsms	4
ml	4
extension-languages	4
configuration-management	4
interactive-fiction	3
ocaml	3
simulation	3
optimization	3
folksonomy	3
parsers	3
algorithms	3
ide	2
knowledge-representation	2
metaocaml	2
social-software	2
testing	2
java	2
information-retrieval	2
interactive-drama	2
nlg	2
soa	2
query-operators	2
security	2
rapid-prototyping	1
misc	1
collaboration	1
distributions	1
hypertext	1
compression	1
xml	1
finance	1
storage	1
tags	1
jvm	1
web-services	1
rewriting	1
history	1
design-patterns	1
development-tools	1
virtual-machines	1
statistics	1
narrative	1

JeffreyPalmer's Benton:N [5 articles] Export

JeffreyPalmer's tags