Group: NU-PRL - library 760 articles Export Sort

Hide details

	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
	FreshML: programming with binders made simple [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 263-274. by Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay posted to binding by samth to the group NU-PRL on 2005-02-21 16:00:20 as
	Monad transformers and modular interpreters [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 333-343. by Sheng Liang, Paul Hudak, Mark Jones posted to interpreters monads by JacquesC to the group NU-PRL on 2005-01-23 14:36:01 as along with 7 people bulwahn eaubin rwtodd cedricboidin oliverh bfraser pile
	Generalized symbolic execution for model checking and testing [My Copy] (2003) by S. Khurshid, C. Pasareanu, W. Visser posted to abstract-interpretation symbolic-execution by JacquesC to the group NU-PRL on 2005-01-21 01:38:36 as along with 1 person gchpaco
	A Programmer's Reduction Semantics for Classes and Mixins [My Copy] Lecture Notes in Computer Science by Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen posted to java plt semantics by samth to the group NU-PRL on 2004-12-10 18:22:32 as along with 1 person spl
	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
	Generalized Functions and Infinitesimals [My Copy] (8 Oct 2006) by Jf posted to generalized-functions infinitesimals by JacquesC to the group NU-PRL on 2006-10-10 15:35:58 as
	Combining decision procedures for the reals [My Copy] (31 Jan 2006) by Jeremy Avigad, Harvey Friedman posted to decision_procedure reals symbolic-computation by JacquesC to the group NU-PRL on 2006-02-01 18:16:13 as
	A Monadic Categorical Semantics for Threads [My Copy] by Jonathan Sobel, Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted to category-theory monad thread by dalev to the group NU-PRL on 2005-08-04 18:46:05 as along with 9 people puzza jrw zednenem bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf
	Automatic enumeration of regular objects [My Copy] (12 Jul 2005) by Marni Mishna posted to d-finite species by JacquesC to the group NU-PRL on 2005-08-03 18:19:59 as
	Generic unification via two-level types and parameterized modules [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97. by Tim Sheard posted to generic-programming haskell monad two-level-types unification by dalev to the group NU-PRL on 2005-08-02 16:20:41 as along with 3 people draganigajic dherman pedagand
	On understanding types, data abstraction, and polymorphism [My Copy] ACM Comput. Surv., Vol. 17, No. 4. (December 1985), pp. 471-523. by Luca Cardelli, Peter Wegner posted to abstract-types adts polymorphism univeral-types by dalev to the group NU-PRL on 2005-08-02 04:14:10 as along with 8 people azwinkau voigt Bluetulip cogumbreiro nodakai chandlerc marcinzalewski jpbernardy
	The mystery of the tower revealed: a non-reflective description of the reflective tower [My Copy] In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 298-307. by Mitchell Wand, Daniel P. Friedman posted to denotational-semantics reflection by dalev to the group NU-PRL on 2005-08-02 03:59:49 as along with 1 person Benja
	Symbolic Simulation: An ACL2 Approach [My Copy] In Formal Methods in Computer-Aided Design (1998), pp. 334-350. by J. Strother Moore posted to acl2 symbolic-execution theorem-proving verification by dalev to the group NU-PRL on 2005-05-05 18:47:50 as
	Building interpreters by composing monads [My Copy] In Conference record of POPL '94, 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: Portland, Oregon, January 17--21, 1994 (1994), pp. 472-492. by Guy Steele edited by Ac posted to interpreters monads by JacquesC to the group NU-PRL on 2005-05-01 14:34:10 as along with 5 people rwtodd cedricboidin bunge Benja glaubersp
	Loop headers in &lgr;-calculus or CPS [My Copy] Lisp Symb. Comput., Vol. 7, No. 4. (December 1994), pp. 337-343. by Andrew W. Appel posted to compiler cps loop-optimization by samth to the group NU-PRL on 2005-02-21 15:46:22 as
	Views: a way for pattern matching to cohabit with data abstraction [My Copy] In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313. by P. Wadler posted to haskell pattern-matching by samth to the group NU-PRL on 2005-02-17 22:51:40 as along with 7 people pedagand fvogels jimburton dherman robennals dfisher spl
	Learning the parts of objects by non-negative matrix factorization. [My Copy] Nature, Vol. 401, No. 6755. (21 October 1999), pp. 788-791. by D. D. Lee, H. S. Seung posted to information-theory learning matrix-factorization by JacquesC to the group NU-PRL on 2005-01-26 03:28:02 as along with 18 people and 3 groups bcao bertelsen kohei-h ppeeling davidr dragonrez anar jfr yas yama_tah pliz scis0000001 oannes cerkut atbrew zeppe kintoki cager T_lab Regulomics_UCHSC contact-id
	Safely creating correct subclasses without seeing superclass code [My Copy] In OOPSLA '00: Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 35, No. 10. (October 2000), pp. 208-228. by Clyde Ruby, Gary T. Leavens posted to honu oop by samth to the group NU-PRL on 2005-01-24 22:14:00 as along with 1 person and 1 group kiniry SRG_at_UCD
	Optimizing Nested Loops Using Local CPS Conversion [My Copy] Higher Order Symbol. Comput., Vol. 15, No. 2-3. (2002), pp. 161-180. by John Reppy posted to compiler cps loop-optimization by samth to the group NU-PRL on 2005-01-24 18:47:29 as
	Observable Sequentiality and Full Abstraction [My Copy] In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (1992), pp. 328-342. by Robert Cartwright, Matthias Felleisen posted to denotational-semantics full-abstraction by JacquesC to the group NU-PRL on 2005-01-23 14:39:17 as along with 2 people eaubin ds
	Notable design patterns for domain-specific languages [My Copy] Journal of Systems and Software, Vol. 56, No. 1. (1 February 2001), pp. 91-99. by D. Spinellis posted to design-patterns dsl by JacquesC to the group NU-PRL on 2005-01-03 00:34:40 as along with 13 people thoni78 pnpo RalfMitschke twleung hamish JeffreyPalmer stagediver leonardo francoisl dynamix klinsz mldechert JavaJoe
	Set-based analysis of ML programs [My Copy] In LFP '94: Proceedings of the 1994 ACM conference on LISP and functional programming (1994), pp. 306-317. by Nevin Heintze posted to christmas-reading static-analysis by samth to the group NU-PRL on 2004-12-17 23:26:03 as
	A Tail-Recursive Semantics for Stack Inspections [My Copy] Lecture Notes in Computer Science, pp. 22-37. by John Clements, Matthias Felleisen posted to plt scheme by samth to the group NU-PRL on 2004-12-10 18:21:45 as along with 2 people dherman ryanc
	Modeling an Algebraic Stepper [My Copy] In Proceedings of the 10th European Symposium on Programming Languages and Systems (2001), pp. 320-334. by John Clements, Matthew Flatt, Matthias Felleisen posted to plt scheme stepper by samth to the group NU-PRL on 2004-12-02 00:02:03 as along with 1 person ryanc
	Modular object-oriented programming with units and mixins [My Copy] In Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 94-104. by Robert B. Findler, Matthew Flatt posted to mixins modules object-oriented plt scheme by samth to the group NU-PRL on 2004-12-02 00:00:00 as along with 2 people dsilva ryanc
	Synthesizing Object-Oriented and Functional Design to Promote Re-Use [My Copy] In Proceedings of the 12th European Conference on Object-Oriented Programming (1998), pp. 91-113. by Shriram Krishnamurthi, Matthias Felleisen, Daniel P. Friedman posted to plt program-design by samth to the group NU-PRL on 2004-12-01 23:58:44 as along with 4 people and 2 groups dherman JacquesC A_Olympia spl Philosophy_of_Information Blog_and_Wiki_Research
	DrScheme: a programming environment for Scheme [My Copy] J. Funct. Program., Vol. 12, No. 2. (March 2002), pp. 159-182. by Robert B. Findler, John Clements, Cormac Flanagan, et al.Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen posted to plt program-environment scheme by samth to the group NU-PRL on 2004-12-01 23:51:46 as
	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
	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
	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

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

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

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

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

Group: NU-PRL - library 760 articles Export Sort

Group Tags