dherman's Cardelli:L [12 articles] Export

Recent papers posted to dherman's library by the author Cardelli:L. You can also see everyone's Cardelli:L.

	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
	Basic Polymorphic Typechecking [My Copy] Science of Computer Programming, Vol. 8, No. 2. (1987), pp. 147-172. by Luca Cardelli posted to polymorphism recursive-types type-inference type-theory by dherman on 2006-04-25 22:23:34 as along with 2 people and 1 group tautologico nodakai NU-PRL
	Subtyping Recursive Types [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 15, No. 4. (September 1993), pp. 575-631. by Roberto M. Amadio, Luca Cardelli posted to oop subtyping by dherman on 2004-12-29 15:32:44 along with 3 people and 1 group pnkfelix amorkan lyongu NU-PRL
	Subtyping and Parametricity [My Copy] In Proc.\ of 9th Ann.\ IEEE Symp.\ on Logic in Computer Science, LICS'94, Paris, France, 4--7 July 1994 (1994), pp. 310-319. by Gordon Plotkin, Mart∈ Abadi, Luca Cardelli posted to parametricity per subtyping oop by dherman on 2004-12-25 20:46:36 along with 1 group 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
	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
	Dynamic Typing in Polymorphic Languages [My Copy] In Proceedings of the ACM SIGPLAN Workshop on ML and its Applications (June 1992) by M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, D. Rèmy posted to dynamic-typing type-dynamic by dherman on 2004-12-23 16:54:35 along with 2 people and 1 group twleung tautologico NU-PRL
	Dynamic Typing in a Statically Typed Language [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 13, No. 2. (April 1991), pp. 237-268. by Mart∈ Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin posted to dynamic-typing javascript type-dynamic by dherman on 2004-12-23 16:54:02 along with 9 people and 1 group twleung jacob tautologico oliverh amorkan lyongu hannes clausej cogumbreiro NU-PRL
	Extensible Syntax with Lexical Scoping [My Copy] No. 121. (1994) by Luca Cardelli, Florian Matthes, Martin Abadi posted to extensible-syntax parsing by dherman on 2004-12-09 19:10:35 along with 4 people and 1 group jrw mbravenboer c_m_h dfisher NU-PRL

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

dherman's tags

All tags in dherman's library

Filter:

Privacy Statement | Terms & Conditions

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