tautologico's types [63 articles] Export

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

	The Polymorphic Pi-Calculus: Theory and Implementation [My Copy] (1996) by David N. Turner posted to concurrency language-implementation pi-calculus types by tautologico on 2008-04-11 23:42:17 as along with 1 person jrw
	Types for safe locking: Static race detection for Java [My Copy] ACM Trans. Program. Lang. Syst., Vol. 28, No. 2. (March 2006), pp. 207-255. by Martin Abadi, Cormac Flanagan, Stephen N. Freund posted to concurrency effects types by tautologico on 2007-10-23 19:32:41 as
	Simple Imperative Polymorphism [My Copy] Lisp and Symbolic Computation, Vol. 8, No. 4. (1995), pp. 343-355. by Andrew K. Wright posted to ml types value-restriction by tautologico on 2007-05-23 02:50:48 as along with 2 people soutaro gkuan
	A logic for parametric polymorphism [My Copy] In International Conference on Typed Lambda Calculi and Applications, No. 664. (1993), pp. 361-375. by Gordon Plotkin, Mart∈ Abadi edited by M. Bezem, J. F. Groote posted to logic types by tautologico on 2007-04-14 03:12:00 as along with 1 person zednenem
	Relaxing the value restriction [My Copy] (2003) by J. Garrigue posted to ml types value-restriction by tautologico on 2007-01-03 21:59:53 as
	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
	Typing a multi-language intermediate code [My Copy] ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 248-260. by Andrew D. Gordon, Don Syme posted to dotnet types by tautologico on 2006-12-09 15:31:01 as
	Automating Type Soundness Proofs via Decision Procedures and Guided Reductions [My Copy] by Don Syme, Andrew D. Gordon posted to types by tautologico on 2006-12-09 15:25:58 as
	Datatypes and Subtyping [My Copy] (1998) by Haruo Hosoya, Benjamin C. Pierce, David N. Turner posted to types by tautologico on 2006-10-07 16:39:19 as along with 1 person voigt
	Local Type Inference [My Copy] In Conference Record of POPL 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California (1998), pp. 252-265. by Benjamin C. Pierce, David N. Turner posted to type-inference types by tautologico on 2006-10-07 16:24:09 as along with 5 people draganigajic suizan jfischer gkuan pedagand
	Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets [My Copy] by Jean P. Talpin posted to effects types by tautologico on 2005-10-09 04:58:55 as
	Polymorphic Type Region and Effect Inference [My Copy] No. EMP-CRI E/150. (1991) by Jean P. Talpin, Pierre Jouvelot posted to effects regions types by tautologico on 2005-10-09 04:31:14 as along with 2 people bdauvergne glaubersp
	Typed Memory Management in a Calculus of Capabilities [My Copy] In Conference Record of POPL 99: The 26th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 262-275. by Karl Crary, David Walker, Greg Morrisett posted to memory-management types by tautologico on 2005-08-01 03:41:30 as
	Algebraic reconstruction of types and effects [My Copy] In Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1991), pp. 303-310. by Pierre Jouvelot, David Gifford posted to effects region-inference types by tautologico on 2005-07-25 18:57:08 as along with 1 person and 1 group samth NU-PRL
	Dependently Typed Data Structures [My Copy] (2000) by Hongwei Xi posted to dependent-types types by tautologico on 2005-07-13 05:08:31 as along with 3 people and 1 group dherman japple rysavy NU-PRL
	A Dependently Typed Assembly Language [My Copy] In International Conference on Functional Programming (2001), pp. 169-180. by Hongwei Xi, Robert Harper posted to dependent-types typed-assembly-language types by tautologico on 2005-07-13 05:07:21 as
	Syntax and Semantics of Dependent Types [My Copy] In Semantics and Logics of Computation, Vol. 14 (1997), pp. 79-130. by Martin Hofmann edited by A. M. Pitts, P. Dybjer posted to dependent-types types by tautologico on 2005-07-13 05:04:03 as along with 3 people and 1 group rysavy xiemaisi msakai AS-IIS_ReadingGroup
	Safe Kernel Extensions Without Run-Time Checking [My Copy] In 2nd Symposium on Operating Systems Design and Implementation (OSDI '96), October 28--31, 1996. Seattle, {WA} (1996), pp. 229-243. by George C. Necula, Peter Lee edited by X. Useni posted to pcc types by tautologico on 2005-07-12 05:23:52 as along with 4 people brothers frej muli zuleger
	A Syntactic Approach to Type Soundness [My Copy] Information and Computation, Vol. 115, No. 1. (1994), pp. 38-94. by Andrew K. Wright, Matthias Felleisen posted to types by tautologico on 2005-07-04 19:49:23 as along with 11 people and 2 groups vkp greenrd bunge tov KarlKlose glaubersp mvermaat gkuan mcclurmc sclv nominolo SRG_at_UCD Lambda the Ultimate
	Intensional Polymorphism in Type-Erasure Semantics [My Copy] Journal of Functional Programming by K. Crary, S. Weirich, G. Morrisett posted to intensional-types types by tautologico on 2005-07-02 03:14:13 as
	TIL: A Type-Directed Optimizing Compiler for ML [My Copy] by D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee posted to intensional-types language-implementation ml types by tautologico on 2005-07-02 03:02:56 as
	Intensional Polymorphism in Type-Erasure Semantics [My Copy] by K. Crary, S. Weirich, G. Morrisett posted to intensional-types types by tautologico on 2005-07-02 02:53:08 as
	Compiling Polymorphism Using Intensional Type Analysis [My Copy] by R. Harper, G. Morrisett posted to intensional-types types by tautologico on 2005-07-02 02:50:29 as
	Type and Effect Systems [My Copy] Correct System Design (1999), pp. 114-136. by Flemming Nielson, Hanne Nielson posted to effects types by tautologico on 2005-06-27 00:39:55 as
	Integrating functional and imperative programming [My Copy] In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 28-38. by David K. Gifford, John M. Lucassen posted to effects types by tautologico on 2005-06-26 16:59:01 as
	The marriage of effects and monads [My Copy] In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '98), Vol. 34(1) (1999), pp. 63-74. by Philip Wadler posted to effects monads types by tautologico on 2005-06-26 16:49:48 as
	Polymorphic effect systems [My Copy] In POPL '88: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1988), pp. 47-57. by J. M. Lucassen, D. K. Gifford posted to effects types by tautologico on 2005-06-26 16:46:42 as along with 6 people and 1 group ama08r assnoodles samth twleung pnkfelix bfraser NU-PRL
	The Type and Effect Discipline [My Copy] In Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California (1992), pp. 162-173. by Jean P. Talpin, Pierre Jouvelot posted to effects regions types by tautologico on 2005-06-26 16:41:42 as along with 1 person bdauvergne
	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
	Dependent Types in Practical Programming [My Copy] In Conference Record of POPL 99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 214-227. by Howgwei Xi, Frank Pfenning posted to dependent-types types by tautologico on 2005-03-26 00:41:32 as along with 10 people and 1 group ama08r talototo darinm draganigajic dherman bdauvergne radico mstone sclv pedagand NU-PRL
	Alias Types for Recursive Data Structures [My Copy] Lecture Notes in Computer Science, Vol. 2071 (2001) by David Walker, Greg Morrisett posted to aliasing types by tautologico on 2005-03-26 00:38:55 as
	Alias Types [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Frederick Smith, David Walker, Greg Morrisett posted to aliasing types by tautologico on 2005-03-26 00:38:09 as along with 1 person robennals
	Types for modularity [My Copy] by Robert Harper posted to modules types by tautologico on 2005-03-25 15:44:57 as
	A constraint-based region inference algorithm [My Copy] Theoretical Computer Science, Vol. 258, No. 1--2. (2001), pp. 299-392. by Lars Birkedal, Mads Tofte posted to memory-management regions types by tautologico on 2005-03-25 06:34:09 as
	Type-safe multithreading in Cyclone [My Copy] (2003) by D. Grossman posted to concurrency cyclone types by tautologico on 2005-03-25 06:28:54 as
	Dynamic Typing as Staged Type Inference [My Copy] In Symposium on Principles of Programming Languages (1998), pp. 289-302. by Mark Shields, Tim Sheard, S. L. P. Simon posted to dynamic-types multi-stage-programming types by tautologico on 2005-03-25 04:47:02 as along with 3 people and 1 group twleung dherman eaubin NU-PRL
	Dynamics in ML [My Copy] In Functional Programming Languages and Computer Architecture, 5th ACM Conference, Vol. 523 (1991), pp. 406-426. by Xavier Leroy, Michel Mauny edited by J. Hughes posted to dynamic-types ml types by tautologico on 2005-03-25 04:25:29 as along with 1 person cedricboidin
	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
	From system F to typed assembly language [My Copy] ACM Trans. Program. Lang. Syst., Vol. 21, No. 3. (May 1999), pp. 527-568. by Greg Morrisett, David Walker, Karl Crary, Neal Glew posted to system-f typed-assembly-language types by tautologico on 2005-03-25 04:17:07 as along with 3 people pedagand eaubin cogumbreiro
	Typing dynamic typing [My Copy] In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 157-166. by Arthur I. Baars, S. Doaitse Swierstra posted to dynamic-types types by tautologico on 2005-03-25 04:16:44 as along with 4 people and 1 group twleung dherman zednenem americovargas 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
	Typed memory management via static capabilities [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 22, No. 4. (2000), pp. 701-771. by David Walker, Karl Crary, Greg Morrisett posted to memory-management types by tautologico on 2005-03-24 18:42:10 as along with 1 person pnkfelix
	Adoption and Focus: Practical Linear Types for Imperative Programming [My Copy] In Proceedings of the SIGPLAN'02 Conference on Programming Language Design and Implementation (Jun 2002) by M. Fähndrich, R. Deline posted to linear-types linearity types by tautologico on 2005-03-24 18:41:36 as
	A Type-based Compiler for Standard ML [My Copy] In Proc. ACM SIGPLAN '95 Conference on Programming Language Design and Implementation (1995), pp. 116-129. by Zhong Shao, Andrew W. Appel posted to sml types by tautologico on 2005-03-24 06:34:39 as along with 1 person JeffreyPalmer
	Type-preserving garbage collectors [My Copy] ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 166-178. by Daniel C. Wang, Andrew W. Appel posted to memory-management types by tautologico on 2005-03-24 06:24:30 as
	Linear types can change the world! [My Copy] In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359. by P. Wadler edited by M. Broy, C. Jones posted to linear-types linearity types by tautologico on 2005-03-23 02:01:02 as along with 11 people and 2 groups draganigajic dherman JacquesC hamish JeffreyPalmer rwtodd jrw bfraser robennals ds mcclurmc NU-PRL 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 6 people 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
	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

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

Result page: 1 2 Next

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 types [63 articles] Export

tautologico's tags