Group: NU-PRL - library 760 articles Export

	Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods) [My Copy] (30 June 2000) posted to acl2 by samth to the group NU-PRL on 2009-10-27 03:40:30 as
	Sony introduce NW-A840 Walkman with an 2.8 inch OLED Display [My Copy] posted to oled-technology oled-displays oled-display oled by oled-expert to the group NU-PRL on 2009-09-25 07:13:48 as along with 2 groups Philosophy_of_Information CMU-HCII
	LG 15-inch with an OLED TV [My Copy] posted to tv-oled organic-tv oled-television led-tv amoled-tv by oled-expert to the group NU-PRL on 2009-09-20 04:47:13 as along with 2 groups Philosophy_of_Information CMU-HCII
	Haskell 98 Language and Libraries: The Revised Report [My Copy] (05 May 2003) by Simon P. Jones posted to haskell by samth to the group NU-PRL on 2007-09-11 03:11:57 as along with 2 people tov jimburton
	Interlanguage Migration: From Scripts to Programs [My Copy] In Dynamic Languages Symposium (October 2006) by Sam Tobin-Hochstadt, Matthias Felleisen posted to typed-scheme type-dynamic hybrid-typing gradual-typing by dherman to the group NU-PRL on 2007-06-14 18:27:58 as
	Amber [My Copy] In Combinators and functional programming languages (1986) by Luca Cardelli posted to type-dynamic hybrid-typing gradual-typing dynamic-typing amber by dherman to the group NU-PRL on 2007-05-31 13:15:27 as
	The Quest Language and System [My Copy] (1994) by L. Cardelli posted to type-dynamic quest hybrid-typing gradual-typing dynamic-typing by dherman to the group NU-PRL on 2007-05-31 13:12:40 as along with 1 person tautologico
	The Amber Machine [My Copy] In Combinators and Functional Programming Languages (1986), pp. 48-70. by L. Cardelli edited by G. Cousineau, P. L. Curien, B. Robinet posted to amber by dherman to the group NU-PRL on 2007-05-31 13:07:48 as
	The Cecil Language Specification and Rationale: Version 2.0 [My Copy] (1995) by Craig Chambers posted to type-dynamic hybrid-typing gradual-typing dynamic-typing by dherman to the group NU-PRL on 2007-05-31 13:05:39 as along with 1 person Leho
	Space-Efficient Gradual Typing [My Copy] In Trends in Functional Programming (April 2007) by David Herman, Aaron Tomb, Cormac Flanagan posted to type-dynamic hybrid-typing gradual-typing dynamic-typing by dherman to the group NU-PRL on 2007-05-31 12:49:51 as along with 1 person jrw
	Dynamics in ML [My Copy] In Functional Programming Languages and Computer Architecture, 5th ACM Conference, Vol. 523 (1991), pp. 406-426. by Leroy Xavier, Michael Mauny edited by J. Hughes posted to type-dynamic hybrid-typing gradual-typing dynamic-typing by dherman to the group NU-PRL on 2007-05-31 12:48:24 as along with 1 person jrw
	Gradual Typing for Objects [My Copy] In ECOOP (2007) by Jeremy Siek, Walid Taha posted to type-dynamic gradual-typing dynamic-typing by dherman to the group NU-PRL on 2007-05-31 12:41:36 as along with 1 person jrw
	Key Exchange Protocols: Security Definition, Proof Method and Applications [My Copy] by Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi posted to security keyexchange by assnoodles to the group NU-PRL on 2007-05-10 11:38:02 as
	Nominal Techniques in Isabelle/HOL [My Copy] : Automated Deduction – CADE-20 (2005), pp. 38-53. by Christian Urban, Christine Tasson posted to nominal by samth to the group NU-PRL on 2007-04-05 20:25:33 as
	Certification of programs for secure information flow [My Copy] Commun. ACM, Vol. 20, No. 7. (July 1977), pp. 504-513. by Dorothy E. Denning, Peter J. Denning posted to browser-security javascript security-flow-analysis by dherman to the group NU-PRL on 2007-03-02 02:46:29 as along with 2 people scavadini tesissvc
	Moving Trust Out of Application Programs: A Software Architecture Based on Multi-Level Security Virtual Machines [My Copy] (2006) by Michael Franz posted to browser-security javascript vm by dherman to the group NU-PRL on 2007-03-02 00:59:54 as
	Cross Site Scripting Prevention with Dynamic Data Tainting and Static Analysis [My Copy] (February 2007) by Philipp Vogt, Florian Nentwich, Nenad Jovanovic, Engin Kirda, Christopher Kruegel, Giovanni Vigna posted to browser-security javascript security-flow-analysis tainting by dherman to the group NU-PRL on 2007-03-02 00:50:07 as along with 1 person praveenbala
	Optimizing pattern matching [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (2001), pp. 26-37. by Fabrice Le Fessant, Luc Maranget posted to pattern-matching by dherman to the group NU-PRL on 2007-02-19 17:13:23 as
	The Tomita Parsing Algorithm (LR(k) with Dynamic Programming) [My Copy] by Mark Hopkins posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-02-09 14:42:20 as
	An Efficient Augmented-Context-Free Parsing Algorithm [My Copy] Computational Linguistics, Vol. 13, No. 1-2. (1987), pp. 31-46. by Masaru Tomita posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-02-09 14:40:47 as along with 1 person jonathlela
	Generalized LR Parsing [My Copy] (1991) by M. Tomita posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-02-09 14:40:12 as
	C Implementation of Tomita's Algorithm [My Copy] posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-02-09 14:39:22 as
	Wikipedia: LR parser [My Copy] posted to parsing lr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:13:19 as
	Wikipedia: Simple LR parser [My Copy] posted to parsing lr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:12:39 as
	Wikipedia: Canonical LR parser [My Copy] posted to parsing lr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:12:03 as
	Wikipedia: GLR parser [My Copy] posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:11:23 as
	Wikipedia: LALR parser [My Copy] posted to parsing lr-parsing lalr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:10:39 as
	Tomita-Style Generalised LR Parsers [My Copy] (December 2000) by Elizabeth Scott, Adrian Johnstone, Shamsa S. Hussain posted to rmglr-parsing parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:04:37 as
	Right nulled GLR parsers [My Copy] ACM Trans. Program. Lang. Syst., Vol. 28, No. 4. (July 2006), pp. 577-618. by Elizabeth Scott, Adrian Johnstone posted to rnglr-parsing parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 14:01:54 as
	Generalized Bottom Up Parsers With Reduced Stack Activity [My Copy] The Computer Journal, Vol. 48, No. 5. (1 January 2005), pp. 565-587. by Elizabeth Scott, Adrian Johnstone posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:55:26 as
	Lexer and Parser Generators in Scheme [My Copy] In 2004 Scheme Workshop (2004) by Scott Owens, Matthew Flatt, Olin Shivers, Benjamin Mcmullan posted to parsing meta-programming lr-parsing lalr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:53:20 as along with 1 person ryanc
	Evaluating GLR parsing algorithms [My Copy] Sci. Comput. Program., Vol. 61, No. 3. (August 2006), pp. 228-244. by Adrian Johnstone, Elizabeth Scott, Giorgios Economopoulos posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:51:49 as
	Efficient Computation of LALR(1) Look-Ahead Sets [My Copy] ACM Trans. Program. Lang. Syst., Vol. 4, No. 4. (October 1982), pp. 615-649. by Frank Deremer, Thomas Pennello posted to parsing lr-parsing lalr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:50:09 as along with 3 people ajholanda dfisher ajk
	A Generated Parser of C++ [My Copy] by Warwick Irwin, Neville Churcher posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:48:37 as
	A Hybrid GLR Algorithm for Parsing with Epsilon Grammars [My Copy] No. 1994-004. (FebruaryFebruary, 1994) by Marwan Shaban posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:47:24 as
	Generalized left corner parsing [My Copy] In POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1977), pp. 170-182. by Alan J. Demers posted to parsing lc-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:47:02 as along with 1 person jonathlela
	Elkhound Algorithm [My Copy] by Scott Mcpeak posted to parsing lr-parsing glr-parsing extensible-syntax elkhound by dherman to the group NU-PRL on 2007-01-10 13:46:10 as
	Elkhound: A Fast, Practical GLR Parser Generator (Addendum) [My Copy] (September 2004) by Scott Mcpeak posted to parsing lr-parsing glr-parsing extensible-syntax elkhound by dherman to the group NU-PRL on 2007-01-10 13:44:05 as
	Elkhound: A Fast, Practical GLR Parser Generator [My Copy] (December 2002) by Scott Mcpeak posted to parsing lr-parsing glr-parsing extensible-syntax elkhound by dherman to the group NU-PRL on 2007-01-10 13:39:54 as
	Grammars and Parsing - Chapter 11 [My Copy] (2001) by Johan Jeuring, Doaitse Swierstra posted to parsing lr-parsing ll-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:31:15 as
	Grammars and Parsing [My Copy] (2001) by Johan Jeuring, Doaitse Swierstra posted to parsing lr-parsing ll-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:25:33 as
	Generalised Reduction Modified LR Parsing for Domain Specific Language Prototyping [My Copy] In HICSS '02: Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 (2002) by A. Johnstone, E. Scott posted to parsing lr-parsing glr-parsing extensible-syntax by dherman to the group NU-PRL on 2007-01-10 13:22:03 as
	Compilers: Principles, Techniques, and Tools (2nd Edition) [My Copy] (31 August 2006) by Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman posted to parsing extensible-syntax compiler by dherman to the group NU-PRL on 2007-01-10 13:20:52 as along with 11 people robotact jmmcg riah pnpo NickGasson Neeperando mldechert chandlerc dfisher rob_quill jasmithoffice
	Modeling Erlang in the pi-calculus [My Copy] In ERLANG '05: Proceedings of the 2005 ACM SIGPLAN workshop on Erlang (2005), pp. 72-77. by Thomas Noll, Chanchal K. Roy posted to erlang pi-calculus by dherman to the group NU-PRL on 2006-11-15 18:57:38 as along with 7 people and 2 groups ama08r tautologico bfraser keigoi tov janschaefer mcclurmc TU-KL-SoftwareTechnologyGroup Lambda the Ultimate
	A Framework for Certified Program Analysis [My Copy] by And I. Applications posted to certified-analysis modular-analysis by dherman to the group NU-PRL on 2006-11-15 18:55:42 as
	Javascript Instrumentation for Browser Security [My Copy] by Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov posted to browser-security javascript by dherman to the group NU-PRL on 2006-11-15 18:52:51 as
	Linear Abadi and Plotkin Logic [My Copy] (1 Nov 2006) by Lars Birkedal, Rasmus E. Møgelberg, Rasmus L. Petersen posted to coinduction linear-logic programming-logic recursive-types by JacquesC to the group NU-PRL on 2006-11-02 13:52:04 as
	The second Futamura projection for type-directed partial evaluation [My Copy] In PEPM '00: Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (1999), pp. 22-32. by Bernd Grobauer, Zhe Yang posted to partial-evaluation by dherman to the group NU-PRL on 2006-10-28 11:05:25 as
	Online type-directed partial evaluation for dynamically-typed languages [My Copy] by E. Sumii, N. Kobayashi posted to dynamic-typing partial-evaluation by dherman to the group NU-PRL on 2006-10-28 11:05:01 as along with 1 person JeffreyPalmer
	Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation [My Copy] In Types in Compilation (1998), pp. 240-252. by Vincent Balat, Olivier Danvy posted to eval partial-evaluation staged-programming strong-normalization by dherman to the group NU-PRL on 2006-10-28 11:04:31 as

Note: You may cite this page as: http://www.citeulike.org/group/8

Result page: 1 2 3 4 5 6 7 8 9 10 Next

scheme	65
extensible-syntax	57
parsing	57
continuations	50
compiler	40
plt	40
haskell	37
macros	31
cfa	28
cps	26
dynamic-typing	24
monads	24
bibtex-import	23
lr-parsing	23
type-inference	22
control	20
oop	20
ml	19
oopsla-paper	19
types	19
extensibility	18
glr-parsing	18
staged-programming	18
type-theory	17
javascript	16
subtyping	16
linearity	15
modules	15
type-dynamic	15
dsl	14
hybrid-typing	14
laziness	14
contracts	12
dependent-types	12
grammar-ambiguity	12
linear-types	12
partial-evaluation	12
per	12
contexts	11
cost	11
effects	11
expression-problem	11
java	11
programming	11
static-analysis	11
components	10
denotational-semantics	10
honu	10
lambda-the-ultimate	10
records	10
return	10
comonads	9
goto-elimination	9
logic-programming	9
polymorphism	9
tail-recursion	9
type-classes	9
costanalysis	8
curry-howard	8
gradual-typing	8
lambda-calculus	8
pretty-printing	8
theorem-proving	8
christmas-reading	7
concurrency	7
exceptions	7
extensible-records	7
fresh	7
type-errors	7
abstract-machine	6
data-structures	6
destructive-update	6
flow-analysis	6
incremental-parsing	6
lisp	6
parametricity	6
sdf	6
adt	5
aliasing	5
clean	5
control-operators	5
dynamic-scoping	5
final-algebras	5
fp	5
io	5
meta-programming	5
pattern-matching	5
recursion-effect	5
world-passing	5
algorithms	4
alpha-equivalence	4
aop	4
browser-security	4
compilers	4
defunctionalization	4
dependent-cfa	4
earley	4
education	4
exception-analysis	4
frp	4
information-theory	4
initial-algebras	4
mercury	4
monad	4
p-logic	4
recursive-types	4
refactoring	4
reflection	4
scannerless-parsing	4
secd	4
stratego	4
threads	4
verification	4
abstract-interpretation	3
abstraction	3
acl2	3
category-theory	3
combinator	3
combining-logics	3
contification	3
dataflow	3
debugging	3
elkhound	3
events	3
expressive-power	3
fibration	3
fibring-logics	3
garbage-collection	3
kolmogorov-complexity	3
krivine	3
lalr-parsing	3
least-common-ancestor	3
logical-relations	3
loop-optimization	3
mixins	3
modal-logic	3
multi-language	3
oo	3
packrat-parsing	3
pfsa	3
polymorphic-variants	3
polytypic	3
program-environment	3
semantics	3
ssa	3
term-rewriting	3
uniqueness-types	3
units	3
value-recursion	3
abstract-syntax	2
amber	2
applicative-functors	2
asf	2
attribute-grammars	2
call-by-need	2
configuration-management	2
constraints	2
continuation-marks	2
currying	2
domain-theory	2
equilogical-spaces	2
erlang	2
error-correcting	2
extension	2
functional	2
fx	2
generics	2
human-factors	2
interpreters	2
linkage	2
ll-parsing	2
logic	2
mechanized-mathematics	2
meta	2
metafront	2
nominal-rewriting	2
pi-calculus	2
realizability	2
record	2
rewriting	2
security	2
security-flow-analysis	2
similarity	2
stepper	2
strategies	2
strictness-analysis	2
subtractive-types	2
symbolic-computation	2
symbolic-execution	2
template-haskell	2
theorem-provers	2
thread	2
traits	2
trampoline	2
type-differentiation	2
unification	2
xml	2
abstract-types	1
administrative-reductions	1
adts	1
alpha-conversion	1
amoled-tv	1
analysis-accuracy	1
athena	1
backtracking	1
bigwig	1
binding	1
black	1
blonde	1
bookmark	1
brown	1
calculemus	1
categorical-logic	1
certified-analysis	1
chart-parsing	1
classes	1
coinduction	1
collections	1
communication	1
concurrent-algorithms	1
constraint-programming	1
containers	1
contextfreelanguages	1
controlflow	1
cryptofibring	1
csharp	1
dalek	1
dataflow-analysis	1
debruijn	1
decision_procedure	1
decompilation	1
design-patterns	1
d-finite	1
distributed-systems	1
dpl	1
dynamic-dispatch	1
dynamic-scope	1
epigram	1
equivariant-unification	1
esterel	1
eval	1
examples	1
existential-types	1
expansion-passing-style	1
explicit-substitutions	1
fault-tolerance	1
fibered-categories	1
fibrations	1
first-order-cps	1
fm	1
formal-languages	1
formal-modeling	1
free-theorems	1
full-abstraction	1
functional-dependencies	1
functional-programming	1
futamura-projection	1
gadt	1
games	1
generalized-functions	1
generic-programming	1
geometric-constraints	1
girard-reynolds	1
google	1
grothendieck	1
gui-programming	1
higher-rank-polymorphism	1
hindley-milner	1
histories	1
hoas	1
hopl	1
hpc	1
humanfactors	1
induction	1
inductive	1
inference	1
infinitesimals	1
inheritance	1
instrumentation	1
interlang	1
intersection-types	1
isabelle	1
island-grammars	1
jit	1
keyexchange	1
lambda-cube	1
lattices	1
lazy-evaluation	1
lc-parsing	1
learning	1
led-tv	1
lexical-scope	1
linear-logic	1
linking	1
little-languages	1
lustre	1
machinelearning	1
manager	1
matrix-factorization	1
maude	1
membership-equational-logic	1
message-passing	1
metaborg	1
metaclasses	1
metaocaml	1
metaprogramming	1
micros	1
modular-analysis	1
monadic-normal-form	1
monad-transformers	1
morphisms	1
multimethods	1
negation-types	1
nominal	1
nominal-unification	1
object-oriented	1
observable-sequentiality	1
oled	1
oled-display	1
oled-displays	1
oled-technology	1
oled-television	1
one-pass-cps	1
open-code	1
optimization	1
organic-tv	1
ownership-types	1
pda	1
peephole-optimization	1
pl-theory	1
pointer-analysis	1
predicate-dispatch	1
principal-types	1
probability	1
process-calculi	1
program-design	1
programming-logic	1
program-transformation	1
proof	1
proof-language	1
proof-theory	1
python	1
quantum-programming	1
quasiquote	1
query-languages	1
quest	1
quote	1
rank-2-types	1
reals	1
real-time	1
recursive-modules	1
reduction-semantics	1
refectoring	1
referential-transparency	1
relational-programming	1
resumptions	1
rmglr-parsing	1
rnglr-parsing	1
rpm	1
safe-for-space	1
safety-analysis	1
scripting	1
scsh	1
semantic-subtyping	1
separate-compilation	1
simplification	1
sized-types	1
software-maintenance	1
species	1
spreadsheet	1
spreadsheets	1
stel	1
streams	1
strong-normalization	1
structural-operational-semantics	1
structural-types	1
substitution	1
syntactic	1
syntax	1
syntax-case	1
tainting	1
targeting-c	1
tdd	1
templates	1
temporal-logic	1
topology	1
trinity	1
tv-oled	1
two-level-types	1
type	1
type-checking	1
typed-scheme	1
ui	1
union-types	1
uniquess-types	1
unit-checking	1
univeral-types	1
usability	1
views	1
vm	1
web	1
web-programming	1
xp	1
xpath	1
zipper	1

Group: NU-PRL - library 760 articles Export

Group Tags