dherman's library 444 articles Export

	Dylan Open Points [My Copy] posted to dylan extensible-syntax macros by dherman on 2009-01-17 14:53:16 as
	D-Expressions: Lisp Power, Dylan Style [My Copy] by Jonathan Bachrach, Keith Playford posted to dylan extensible-syntax macros by dherman on 2009-01-17 14:44:50 as
	A Domain-Specific Language for Manipulation of Binary Data in Dylan [My Copy] In International Lisp Conference (2007) by Hannes Mehnert, Andreas Bogk posted to dylan extensible-syntax macros by dherman on 2009-01-17 14:39:30 as
	A technique for handling macro instructions [My Copy] Commun. ACM, Vol. 2, No. 11. (November 1959), pp. 21-22. by Irwin D. Greenwald posted to extensible-syntax list-extensible-languages macros by dherman on 2008-03-18 14:53:59 as
	The Share 709 System: Programming and Modification [My Copy] J. ACM, Vol. 6, No. 2. (April 1959), pp. 128-133. by Irwin D. Greenwald, Maureen Kane posted to list-extensible-languages by dherman on 2008-03-18 14:53:22 as
	A general purpose macrogenerator [My Copy] The Computer Journal, Vol. 8, No. 3. (1 March 1965), pp. 225-241. by C. Strachey posted to extensible-syntax list-extensible-languages macros by dherman on 2008-03-18 14:52:49 as
	MP/1--a FORTRAN macroprocessor [My Copy] The Computer Journal, Vol. 14, No. 3. (1 March 1971), pp. 229-231. by I. A. Macleod posted to list-extensible-languages extensible-syntax macros by dherman on 2008-03-18 14:42:26 as
	Tabled evaluation with delaying for general logic programs [My Copy] Journal of the ACM, Vol. 43, No. 1. (1996), pp. 20-74. by Weidong Chen, David S. Warren posted to backward-chaining datalog logic-programming by dherman on 2008-03-18 14:38:37 as
	What you always wanted to know about Datalog (and never dared to ask) [My Copy] Knowledge and Data Engineering, IEEE Transactions on, Vol. 1, No. 1. (1989), pp. 146-166. by S. Ceri, G. Gottlob, L. Tanca posted to datalog logic-programming by dherman on 2008-03-18 14:35:55 as along with 4 people dullhunk dyoo PierreDeL buchgeher
	Efficient Top-Down Computation of Queries under the Well-Founded Semantics [My Copy] Journal of Logic Programming, Vol. 24, No. 3. (1995), pp. 161-199. by Weidong Chen, Terrance Swift, David S. Warren posted to backward-chaining datalog logic-programming by dherman on 2008-03-18 14:35:26 as
	SRFI 72: Hygienic macros [My Copy] by Andre van Tonder posted to hygiene macros by dherman on 2007-10-23 14:43:04 as along with 1 person dfisher
	Dylan Reference Manual: Chapter 10 - Macros [My Copy] posted to extensible-syntax macros parsing by dherman on 2007-10-23 14:42:21 as
	Interlanguage Migration: From Scripts to Programs [My Copy] In Dynamic Languages Symposium (October 2006) by Sam Tobin-Hochstadt, Matthias Felleisen posted to gradual-typing hybrid-typing type-dynamic typed-scheme by dherman on 2007-06-14 18:27:58 as along with 1 group NU-PRL
	Amber [My Copy] In Combinators and functional programming languages (1986) by Luca Cardelli posted to amber dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman on 2007-05-31 13:15:27 as along with 1 group NU-PRL
	The Quest Language and System [My Copy] (1994) by L. Cardelli posted to dynamic-typing gradual-typing hybrid-typing quest type-dynamic by dherman on 2007-05-31 13:12:40 as along with 1 person and 1 group tautologico NU-PRL
	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 on 2007-05-31 13:07:48 as along with 1 group NU-PRL
	The Cecil Language Specification and Rationale: Version 2.0 [My Copy] (1995) by Craig Chambers posted to dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman on 2007-05-31 13:05:39 as along with 1 person and 1 group Leho NU-PRL
	Space-Efficient Gradual Typing [My Copy] In Trends in Functional Programming (April 2007) by David Herman, Aaron Tomb, Cormac Flanagan posted to dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman on 2007-05-31 12:49:51 as along with 1 person and 1 group jrw NU-PRL
	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 dynamic-typing gradual-typing hybrid-typing type-dynamic by dherman on 2007-05-31 12:48:24 as along with 1 person and 1 group jrw NU-PRL
	Gradual Typing for Objects [My Copy] In ECOOP (2007) by Jeremy Siek, Walid Taha posted to dynamic-typing gradual-typing type-dynamic by dherman on 2007-05-31 12:41:36 as along with 1 person and 1 group jrw NU-PRL
	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 on 2007-03-02 02:46:29 as along with 2 people and 1 group scavadini tesissvc NU-PRL
	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 on 2007-03-02 00:59:54 as along with 1 group NU-PRL
	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 on 2007-03-02 00:50:07 as along with 1 person and 1 group praveenbala NU-PRL
	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 on 2007-02-19 17:13:23 as along with 1 group NU-PRL
	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 on 2007-02-09 14:42:20 as along with 1 group NU-PRL
	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 on 2007-02-09 14:40:47 as along with 1 person and 1 group jonathlela NU-PRL
	Generalized LR Parsing [My Copy] (1991) by M. Tomita posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-02-09 14:40:12 as along with 1 group NU-PRL
	C Implementation of Tomita's Algorithm [My Copy] posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-02-09 14:39:22 as along with 1 group NU-PRL
	Wikipedia: LR parser [My Copy] posted to parsing lr-parsing extensible-syntax by dherman on 2007-01-10 14:13:19 as along with 1 group NU-PRL
	Wikipedia: Simple LR parser [My Copy] posted to parsing lr-parsing extensible-syntax by dherman on 2007-01-10 14:12:39 as along with 1 group NU-PRL
	Wikipedia: Canonical LR parser [My Copy] posted to parsing lr-parsing extensible-syntax by dherman on 2007-01-10 14:12:03 as along with 1 group NU-PRL
	Wikipedia: GLR parser [My Copy] posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 14:11:23 as along with 1 group NU-PRL
	Wikipedia: LALR parser [My Copy] posted to parsing lr-parsing lalr-parsing extensible-syntax by dherman on 2007-01-10 14:10:39 as along with 1 group NU-PRL
	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 on 2007-01-10 14:04:37 as along with 1 group NU-PRL
	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 on 2007-01-10 14:01:54 as along with 1 group NU-PRL
	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 on 2007-01-10 13:55:26 as along with 1 group NU-PRL
	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 on 2007-01-10 13:53:20 as along with 1 person and 1 group ryanc NU-PRL
	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 on 2007-01-10 13:51:49 as along with 1 group NU-PRL
	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 on 2007-01-10 13:50:09 as along with 3 people and 1 group ajholanda dfisher ajk NU-PRL
	A Generated Parser of C++ [My Copy] by Warwick Irwin, Neville Churcher posted to parsing lr-parsing glr-parsing extensible-syntax by dherman on 2007-01-10 13:48:37 as along with 1 group NU-PRL
	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 on 2007-01-10 13:47:24 as along with 1 group NU-PRL
	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 on 2007-01-10 13:47:02 as along with 1 person and 1 group jonathlela NU-PRL
	Elkhound Algorithm [My Copy] by Scott Mcpeak posted to parsing lr-parsing glr-parsing extensible-syntax elkhound by dherman on 2007-01-10 13:46:10 as along with 1 group NU-PRL
	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 on 2007-01-10 13:44:05 as along with 1 group NU-PRL
	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 on 2007-01-10 13:39:54 as along with 1 group NU-PRL
	Grammars and Parsing - Chapter 11 [My Copy] (2001) by Johan Jeuring, Doaitse Swierstra posted to parsing lr-parsing ll-parsing extensible-syntax by dherman on 2007-01-10 13:31:15 as along with 1 group NU-PRL
	Grammars and Parsing [My Copy] (2001) by Johan Jeuring, Doaitse Swierstra posted to parsing lr-parsing ll-parsing extensible-syntax by dherman on 2007-01-10 13:25:33 as along with 1 group NU-PRL
	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 on 2007-01-10 13:22:03 as along with 1 group NU-PRL
	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 on 2007-01-10 13:20:52 as along with 11 people and 1 group robotact jmmcg riah pnpo NickGasson Neeperando mldechert chandlerc dfisher rob_quill jasmithoffice NU-PRL
	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 on 2006-11-15 18:57:38 as along with 7 people and 3 groups ama08r tautologico bfraser keigoi tov janschaefer mcclurmc NU-PRL TU-KL-SoftwareTechnologyGroup Lambda the Ultimate

Note: You may cite this page as: http://www.citeulike.org/user/dherman

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

extensible-syntax	70
parsing	58
macros	32
compiler	27
continuations	24
dynamic-typing	24
lr-parsing	23
cfa	22
control	22
haskell	21
type-inference	21
extensibility	19
glr-parsing	18
oop	18
staged-programming	18
cps	17
javascript	16
subtyping	16
laziness	15
linearity	15
monads	15
plt	15
type-dynamic	15
hybrid-typing	14
type-theory	14
types	13
expression-problem	12
grammar-ambiguity	12
linear-types	12
per	12
scheme	12
contexts	11
partial-evaluation	11
return	11
effects	10
records	10
comonads	9
dsl	9
goto-elimination	9
tail-recursion	9
abstract-machine	8
contracts	8
dependent-types	8
fp	8
gradual-typing	8
honu	8
ml	8
modules	8
pretty-printing	8
curry-howard	7
exceptions	7
extensible-records	7
fresh	7
lambda-calculus	7
logic-programming	7
parametricity	7
polymorphism	7
sdf	7
type-errors	7
adt	6
control-operators	6
destructive-update	6
final-algebras	6
incremental-parsing	6
aliasing	5
clean	5
continuation-marks	5
data-structures	5
dependent-cfa	5
dynamic-scoping	5
initial-algebras	5
io	5
java	5
pattern-matching	5
recursion-effect	5
stratego	5
world-passing	5
abstraction	4
algorithms	4
aop	4
browser-security	4
concurrency	4
defunctionalization	4
earley	4
exception-analysis	4
frp	4
list-extensible-languages	4
mercury	4
p-logic	4
scannerless-parsing	4
secd	4
type-classes	4
components	3
contification	3
dataflow	3
datalog	3
debugging	3
denotational-semantics	3
dylan	3
elkhound	3
events	3
expressive-power	3
krivine	3
lalr-parsing	3
least-common-ancestor	3
logical-relations	3
metafront	3
meta-programming	3
modal-logic	3
multi-language	3
packrat-parsing	3
polymorphic-variants	3
recursive-types	3
term-rewriting	3
threads	3
uniqueness-types	3
units	3
value-recursion	3
amber	2
applicative-functors	2
asf	2
attribute-grammars	2
backward-chaining	2
call-by-need	2
constraints	2
currying	2
domain-theory	2
equilogical-spaces	2
error-correcting	2
expansion-passing-style	2
higher-rank-polymorphism	2
hopl	2
human-factors	2
lambda-the-ultimate	2
lisp	2
ll-parsing	2
metaborg	2
pi-calculus	2
realizability	2
security-flow-analysis	2
strategies	2
strictness-analysis	2
subtractive-types	2
targeting-c	2
template-haskell	2
type-differentiation	2
views	2
abstract-interpretation	1
abstract-syntax	1
backtracking	1
bigwig	1
certified-analysis	1
chart-parsing	1
concurrent-algorithms	1
constraint-programming	1
containers	1
dalek	1
dataflow-analysis	1
debugger	1
decompilation	1
distributed-systems	1
erlang	1
esterel	1
eval	1
examples	1
existential-types	1
fibrations	1
formal-languages	1
functional-dependencies	1
futamura-projection	1
games	1
generics	1
geometric-constraints	1
girard-reynolds	1
gui-programming	1
hoas	1
hygiene	1
inheritance	1
instrumentation	1
intersection-types	1
island-grammars	1
jiazzi	1
jit	1
lambda-cube	1
lattices	1
lc-parsing	1
lexical-scope	1
little-languages	1
logic	1
lustre	1
message-passing	1
micros	1
mixins	1
modular-analysis	1
monad-transformers	1
morphisms	1
negation-types	1
observable-sequentiality	1
oo	1
peephole-optimization	1
pl-theory	1
pointer-analysis	1
principal-types	1
probability	1
process-calculi	1
python	1
quantum-programming	1
quasiquotation	1
quest	1
real-time	1
recursive-modules	1
reduction-semantics	1
referential-transparency	1
rmglr-parsing	1
rnglr-parsing	1
safe-for-space	1
scheme-report	1
scripting	1
scsh	1
security	1
semantic-subtyping	1
separate-compilation	1
sized-types	1
spreadsheet	1
spreadsheets	1
ssa	1
stepper	1
streams	1
strong-normalization	1
structural-operational-semantics	1
structural-types	1
tainting	1
tdd	1
templates	1
temporal-logic	1
theorem-provers	1
trampoline	1
trinity	1
two-level-types	1
tying-the-knot	1
typed-scheme	1
ui	1
unification	1
union-types	1
uniquess-types	1
vm	1
zipper	1

dherman's library 444 articles Export

dherman's tags