tautologico's Cardelli [10 articles] Export Sort

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

Hide details

	Modern concurrency abstractions for C\# [My Copy] ACM Trans. Program. Lang. Syst., Vol. 26, No. 5. (September 2004), pp. 769-804. by Nick Benton, Luca Cardelli, C&\#233;dric Fournet posted to c concurrency join-calculus by tautologico on 2008-04-11 20:15:23 as along with 3 people hamish cedricboidin wkrenn
	Compiling a Functional Language [My Copy] In LISP and Functional Programming (1984), pp. 208-217. by Luca Cardelli posted to language-implementation ml by tautologico on 2005-04-28 04:47:36 as along with 1 person JeffreyPalmer
	Type Systems [My Copy] In The Computer Science and Engineering Handbook (1997) by Luca Cardelli edited by Allen B. Tucker posted to type-theory types by tautologico on 2005-03-29 03:25:51 as along with 11 people and 2 groups talototo draganigajic rgrig greenrd amorkan lyongu Bluetulip Leho jimburton mvermaat zuleger SRG_at_UCD Lambda the Ultimate
	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-types types by tautologico on 2005-03-25 04:24:01 as along with 2 people and 1 group twleung dherman 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-types types by tautologico on 2005-03-25 04:16:00 as along with 9 people and 1 group twleung dherman jacob oliverh amorkan lyongu hannes clausej cogumbreiro NU-PRL
	Explicit Substitutions [My Copy] In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California (1990), pp. 31-46. by Mart∈ Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lèvy posted to lambda-calculus by tautologico on 2005-03-20 00:52:25 as along with 2 people darinm eaubin
	Typeful Programming [My Copy] In Formal Description of Programming Concepts (1991), pp. 431-507. by Luca Cardelli edited by E. J. Neuhold, M. Paul posted to type-theory types by tautologico on 2005-03-19 00:09:43 as along with 1 person Leho
	The Quest Language and System [My Copy] (1994) by L. Cardelli posted to languages types by tautologico on 2005-03-19 00:09:11 as along with 1 person and 1 group dherman NU-PRL
	Basic Polymorphic Typechecking [My Copy] Science of Computer Programming, Vol. 8, No. 2. (1987), pp. 147-172. by Luca Cardelli posted to types by tautologico on 2005-03-19 00:07:50 as along with 2 people and 1 group dherman nodakai 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 types by tautologico on 2005-03-19 00:06:28 as along with 8 people and 1 group dherman amorkan lyongu ben_moseley bunge fmc Leho dmeister NU-PRL

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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

types	63
concurrency	51
functional	26
garbage-collection	25
reference-counting	25
memory-management	24
language-implementation	21
monads	21
regions	18
transactional	18
effects	16
type-theory	16
linearity	15
transactional-memory	13
ml	11
stm	11
haskell	11
linear-logic	11
lambda-calculus	10
linear-types	7
dependent-types	7
typed-assembly-language	6
logic	6
lazy	6
languages	6
logic-programming	5
cyclone	5
pi-calculus	5
dynamic-types	5
petri-nets	4
lock-free	4
intensional-types	4
category-theory	4
pcc	4
prolog	3
partial-evaluation	3
continuations	3
jvm	3
java	3
coinduction	3
arrows	3
value-restriction	2
join-calculus	2
object-calculus	2
aliasing	2
semantics	2
type-inference	2
region-inference	2
oop	2
graphs	2
programming	2
compilers	2
sml	2
intersection-types	2
mobility	2
multicore	2
erlang	2
modules	2
p2p	2
cml	1
combinators	1
parsing	1
proof-theory	1
multi-stage-programming	1
dotnet	1
process-algebras	1
hindley-milner	1
data-structures	1
algebra	1
c	1
ocaml	1
laziness	1
temporal-logic	1
adt	1
floating-point	1
atomicity	1
generational	1
substructural-logics	1
reactive	1
ccs	1
dsl	1
topology	1
coalgebra	1
records	1
type-classes	1
existential-types	1
separation-logic	1
fsharp	1
system-f	1
pattern-matching	1
views	1
constraint-programming	1
grids	1
linda	1
coordination-languages	1
fold	1
featherweight-java	1
abstraction	1
concurrent	1
formal-methods	1
model-checking	1
smt	1

tautologico's Cardelli [10 articles] Export Sort

tautologico's tags