tautologico's type-theory [16 articles] Export

Recent papers added to tautologico's library classified by the tag type-theory. You can also see everyone's type-theory.

Hide details

	What are Principal Typings and What are They Good For? [My Copy] (1995) by T. Jim posted to ml type-theory types by tautologico on 2006-12-21 23:52:12 as
	Abstract types have existential type [My Copy] ACM Trans. Program. Lang. Syst., Vol. 10, No. 3. (July 1988), pp. 470-502. by John C. Mitchell, Gordon D. Plotkin posted to existential-types type-theory by tautologico on 2006-03-06 14:03:07 as along with 2 people spl marcinzalewski
	An Introduction to Dependent Type Theory [My Copy] Lecture Notes in Computer Science, pp. 1-41. by Gilles Barthe, Thierry Coquand posted to dependent-types type-theory by tautologico on 2005-10-19 17:29:01 as along with 4 people and 1 group Scis0000002 dherman greg_restall noam_zeilberger NU-PRL
	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
	A theory of type polymorphism in programming [My Copy] Journal of Computer and System Sciences, Vol. 17, No. 3. (December 1978), pp. 348-375. by Robin Milner posted to type-theory types by tautologico on 2005-03-20 19:05:08 as along with 8 people robertjohnsimmons azwinkau mattmight amp269 jkominek lyongu calvins shimomura
	Towards a theory of type structure [My Copy] In Programming Symposium, Proceedings Colloque sur la Programmation (1974), pp. 408-423. by John C. Reynolds posted to type-theory types by tautologico on 2005-03-20 19:02:59 as along with 5 people and 1 group zkincaid jkominek assnoodles yallop calvins NU-PRL
	An interpretation of Standard ML in type theory [My Copy] (1997) by R. Harper, C. Stone posted to ml sml type-theory by tautologico on 2005-03-20 18:59:02 as along with 2 people eaubin lyongu
	Type Systems for object-oriented programming languages [My Copy] No. STAN-CS-TR-98-1602. (1996) by K. Fisher posted to oop type-theory types by tautologico on 2005-03-20 18:58:07 as along with 2 people and 1 group dherman ryanc NU-PRL
	An Introduction to Dependent Type Theory [My Copy] In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41. by Gilles Barthe, Thierry Coquand posted to dependent-types type-theory types by tautologico on 2005-03-20 18:57:14 as along with 5 people and 1 group darinm dherman spl ryanc jimburton NU-PRL
	Once upon a type [My Copy] In Functional Programming Languages and Computer Architecture (1995) by David N. Turner, Philip Wadler, Christian Mossin posted to linearity type-theory types by tautologico on 2005-03-20 05:13:11 as along with 7 people and 3 groups dherman JacquesC A_Olympia JeffreyPalmer kschiess cedricboidin robennals NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	A syntactic approach to type soundness [My Copy] Inf. Comput., Vol. 115, No. 1. (November 1994), pp. 38-94. by Andrew K. Wright, Matthias Felleisen posted to type-theory types by tautologico on 2005-03-20 04:17:09 as along with 1 person and 1 group samth 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 records type-theory types by tautologico on 2005-03-20 04:11:47 as along with 7 people and 1 group dherman JeffreyPalmer sstrickl thsutton lyongu ryanc americovargas NU-PRL
	Advanced Topics In Types And Programming Languages [My Copy] (19 November 2004) by Benjamin C. Pierce posted to type-theory types by tautologico on 2005-03-20 04:10:17 as along with 9 people and 1 group ama08r draganigajic sstrickl thsutton voigt lyongu msakai jimburton shimomura Lambda the Ultimate
	A Syntactic Theory of Type Generativity and Sharing [My Copy] In ACM Symposium on Principles of Programming Languages (POPL), Portland, Oregon (1994) by Xavier Leroy posted to ml type-theory types by tautologico on 2005-03-20 03:24:41 as along with 1 person gkuan
	Intersection types and computational effects [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 198-208. by Rowan Davies, Frank Pfenning posted to effects intersection-types type-theory types by tautologico on 2005-03-19 03:54:57 as along with 1 person pnkfelix
	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

Note: You may cite this page as: http://www.citeulike.org/user/tautologico/tag/type-theory

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
haskell	11
linear-logic	11
ml	11
stm	11
lambda-calculus	10
dependent-types	7
linear-types	7
languages	6
lazy	6
logic	6
typed-assembly-language	6
cyclone	5
dynamic-types	5
logic-programming	5
pi-calculus	5
category-theory	4
intensional-types	4
lock-free	4
pcc	4
petri-nets	4
arrows	3
coinduction	3
continuations	3
java	3
jvm	3
partial-evaluation	3
prolog	3
aliasing	2
compilers	2
erlang	2
graphs	2
intersection-types	2
join-calculus	2
mobility	2
modules	2
multicore	2
object-calculus	2
oop	2
p2p	2
programming	2
region-inference	2
semantics	2
sml	2
type-inference	2
value-restriction	2
abstraction	1
adt	1
algebra	1
atomicity	1
c	1
ccs	1
cml	1
coalgebra	1
combinators	1
concurrent	1
constraint-programming	1
coordination-languages	1
data-structures	1
dotnet	1
dsl	1
existential-types	1
featherweight-java	1
floating-point	1
fold	1
formal-methods	1
fsharp	1
generational	1
grids	1
hindley-milner	1
laziness	1
linda	1
model-checking	1
multi-stage-programming	1
ocaml	1
parsing	1
pattern-matching	1
process-algebras	1
proof-theory	1
reactive	1
records	1
separation-logic	1
smt	1
substructural-logics	1
system-f	1
temporal-logic	1
topology	1
type-classes	1
views	1

tautologico's type-theory [16 articles] Export

tautologico's tags