mattmight's Rees:J [4 articles] Export

Recent papers posted to mattmight's library by the author Rees:J. You can also see everyone's Rees:J.

	T: A dialect of Lisp or LAMBDA: The ultimate software tool [My Copy] In LFP '82: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming (1982), pp. 114-122. by Jonathan A. Rees, Norman I. Adams posted to compilers by mattmight on 2009-12-09 21:11:20 as
	ORBIT: An optimizing compiler for scheme [My Copy] In SIGPLAN '86: Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction (1986), pp. 219-233. by David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams posted to compilers by mattmight on 2009-12-09 20:57:15 as
	Macros that work [My Copy] In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1991), pp. 155-162. by William Clinger, Jonathan Rees posted to macros by mattmight on 2009-10-21 06:24:56 as along with 9 people and 1 group assnoodles samth JeffreyPalmer jrw bdauvergne damaru ryanc tov jkominek NU-PRL
	Fifth Revised Report on the Algorithmic Language Scheme [My Copy] ACM SIGPLAN Notices, Vol. 33, No. 9. (1998), pp. 26-76. by Richard Kelsey, William Clinger, Jonathan R. Editors edited by Richard Kelsey, William Clinger, Jonathan Rees posted to scheme r5rs by mattmight on 2009-10-07 17:16:28 as along with 8 people and 1 group higepon samth dherman pnkfelix alec tov dfisher d23 NU-PRL

Note: You may cite this page as: http://www.citeulike.org/user/mattmight/author/Rees:J

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.

static-analysis	42
abstract-interpretation	25
cfa	21
parsing	15
control-flow-analysis	14
type-theory	13
security	7
verification	7
compiler	6
alias-analysis	6
shape-analysis	6
compilers	6
model-checking	5
dissertation	4
lambda-calculus	4
environment-analysis	4
ml	4
macros	4
parallelization	4
dependent-types	3
abstract-garbage-collection	3
theorem-proving	3
specification	3
escape-analysis	3
scheme	3
sml	3
constraint-solving	3
abstract-counting	3
gamma-cfa	3
cps	3
pointer-analysis	3
software-engineering	2
haskell	2
lexing	2
frame-strings	2
type-based-analysis	2
predicate-abstraction	2
cek	2
operating-systems	2
delta-cfa	2
pushdown-automata	2
continuation	2
non-nullability	2
data-flow-analysis	2
hoare-logic	2
type-inference	1
cfl	1
tvla	1
continuation-passing-style	1
flattening	1
damas-milner	1
logic-flow-analysis	1
malware	1
termination	1
partial-evaluation	1
galois-connection	1
ghc	1
existential-cfa	1
mlton	1
benchmarking	1
peg	1
lfa	1
tree-automata	1
super-beta	1
functional-programming	1
information-theory	1
ucombinator	1
transducer-fusion	1
context-free-grammars	1
c	1
derivative	1
register-allocation	1
llvm	1
coq	1
exceptions	1
peer-review	1
anf	1
ssa	1
wcet	1
pda	1
regular-expressions	1
reachability-analysis	1
pushdown-analysis	1
r5rs	1
java	1
scala	1
grammars	1
error-correcting-codes	1
context-sensitivity	1
symbolic-execution	1
coroutine	1
dod	1
dependence	1
coroutine-fusion	1
linear-type	1
graph-reachability	1
sensor-nets	1
stack	1

mattmight's Rees:J [4 articles] Export

mattmight's tags