dherman's extensibility [19 articles] Export

Recent papers added to dherman's library classified by the tag extensibility. You can also see everyone's extensibility.

Hide details

	Open data types and open functions [My Copy] (2006) by Andres Löh, Ralf Hinze posted to expression-problem extensibility final-algebras fp initial-algebras oop by dherman on 2006-03-27 00:19:36 as along with 2 people and 1 group lomeo Leho NU-PRL
	The Expression Problem Revisited [My Copy] European Conference on Object-Oriented Programming (2004) by Mads Torgersen posted to expression-problem extensibility by dherman on 2005-04-10 16:16:17 as along with 2 people and 1 group JacquesC Leho NU-PRL
	Modular Object-Oriented Programming with Units and Mixins [My Copy] In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Vol. 34(1) (1999), pp. 94-104. by Robert B. Findler, Matthew Flatt posted to expression-problem extensibility mixins plt scheme units by dherman on 2005-04-10 16:05:38 as along with 6 people and 1 group samth JacquesC JeffreyPalmer zednenem ryanc brothers NU-PRL
	The Expression Problem [My Copy] java-genericity Mailing List (12 November 1998) by Philip Wadler posted to expression-problem extensibility by dherman on 2005-04-10 15:58:38 as along with 2 people and 1 group Leho dfisher NU-PRL
	The Expression Problem, Scandinavian Style [My Copy] European Conference on Object-Oriented Programming (2004) by Erik Ernst posted to expression-problem extensibility by dherman on 2005-04-10 15:53:05 as along with 2 people and 1 group RalfMitschke Leho NU-PRL
	Code reuse through polymorphic variants [My Copy] (2000) by J. Garrigue posted to expression-problem extensibility polymorphic-variants polymorphism by dherman on 2005-04-10 15:35:37 as along with 3 people and 1 group hellige JeffreyPalmer lyongu NU-PRL
	Implementing extensible theorem provers [My Copy] (1999) by K. Fisler, S. Krishnamurthi, K. Gray posted to expression-problem extensibility theorem-provers by dherman on 2005-04-10 15:17:03 as along with 1 person and 1 group JacquesC NU-PRL
	Extensibility in the Large [My Copy] by Matthias Zenger posted to expression-problem extensibility by dherman on 2005-04-10 15:14:39 as along with 1 group NU-PRL
	Evolving Software with Extensible Modules [My Copy] In International Workshop on Unanticipated Software Evolution (June 2002) by Matthias Zenger posted to extensibility java modules oo by dherman on 2005-04-10 15:11:04 as along with 1 group NU-PRL
	Implementing Extensible Compilers [My Copy] In Workshop on Multiparadigm Programming with Object-Oriented Languages (June # 2001) by Matthias Zenger, Martin Odersky posted to compiler expression-problem extensibility final-algebras fp initial-algebras oop by dherman on 2005-04-10 15:07:54 as along with 3 people and 1 group jrw mbravenboer dfisher NU-PRL
	Growing a Language [My Copy] Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236. by Guy Steele posted to extensibility macros by dherman on 2004-12-26 05:10:09 along with 11 people and 1 group akuhn onierstrasz samth JacquesC hamish bfraser ryanc tov calvins danlentz dmeister NU-PRL
	Phobos: A front-end approach to extensible compilers [My Copy] (2002) by A. Granicz, J. Hickey posted to compiler extensibility by dherman on 2004-12-26 04:27:29 along with 2 people and 1 group twleung dfisher NU-PRL
	Extensible Algebraic Datatypes with Defaults [My Copy] In Proceedings of the International Conference on Functional Programming (September # 2001) by Matthias Zenger, Martin Odersky posted to expression-problem extensibility by dherman on 2004-12-26 04:10:14 along with 1 person and 1 group mbravenboer NU-PRL
	Inheritance is not subtyping [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 125-135. by William R. Cook, Walter Hill, Peter S. Canning posted to extensibility inheritance oop subtyping by dherman on 2004-12-24 03:36:26 along with 5 people and 2 groups emiliorp amorkan lyongu ryanc mcclurmc Security in SOA NU-PRL
	A Polymorphic Type System for Extensible Records and Variants [My Copy] No. NOTTCS-TR-96-3. (November 1996) by Benedict R. Gaster, Mark P. Jones posted to extensibility extensible-records records by dherman on 2004-12-24 03:17:06 along with 7 people and 1 group JeffreyPalmer sstrickl tautologico thsutton lyongu ryanc americovargas NU-PRL
	Extensible Records in a Pure Calculus of Subtyping [My Copy] In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994), pp. 373-425. by Luca Cardelli edited by C. A. Gunter, J. C. Mitchell posted to extensibility extensible-records records subtyping by dherman on 2004-12-24 03:16:45 along with 1 person and 1 group ryanc NU-PRL
	Operations on Records [My Copy] In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (1994), pp. 295-350. by Luca Cardelli, John C. Mitchell edited by C. A. Gunter, J. C. Mitchell posted to extensibility extensible-records oop records by dherman on 2004-12-24 03:15:17 along with 2 people and 1 group misc ryanc NU-PRL
	Lightweight Extensible Records for Haskell [My Copy] (1999) by M. Jones, S. Jones posted to extensibility extensible-records haskell records by dherman on 2004-12-24 03:12:48 along with 5 people and 2 groups greenrd msakai ryanc ben_moseley americovargas NU-PRL SRG_at_UCD
	On Understanding Types, Data Abstraction, and Polymorphism [My Copy] ACM Computing Surveys, Vol. 17, No. 4. (1985), pp. 471-522. by Luca Cardelli, Peter Wegner posted to abstraction extensibility oop types by dherman on 2004-12-24 03:04:13 along with 8 people and 1 group tautologico amorkan lyongu ben_moseley bunge fmc Leho dmeister NU-PRL

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

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 extensibility [19 articles] Export

dherman's tags