Tag type-system [34 articles] Export Sort

Recent papers classified by the tag type-system.

Hide details

	Type Systems [My Copy] (1997) by Luca Cardelli posted to type-system by dtim on 2009-12-07 15:57:15 as
	Programming examples needing polymorphic recursion [My Copy] In In Proceedings 3rd International Workshop Intersection Types and Related Systems (ITRS 2004, Vol. 3 (2004), pp. 57-102. by J. J. Hallett, A. J. Kfoury posted to type_inference_algorithm type-system polymorphism intersection_types by dtim on 2009-12-07 12:43:49 as
	Secure information flow and program logics [My Copy] Computer Security Foundations Symposium, IEEE, Vol. 0 (2007), pp. 233-248. by Lennart Beringer, Martin Hofmann posted to verification type-system security isabelle information-flow hol hoare-logic 2007 by michaelbanks on 2009-10-28 17:19:03 as
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted to type-system textbook programming object-oriented language lambda-calculus book 2002 by michaelbanks on 2009-10-25 12:46:20 as along with 21 people and 2 groups wain ama08r mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi robotact srccheck jimburton jasmithoffice shimomura SRG_at_UCD Lambda the Ultimate
	F-bounded polymorphism for object-oriented programming [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 273-280. by Peter Canning, William Cook, Walter Hill, Walter Olthoff, John C. Mitchell posted to type-system by fvogels on 2009-09-30 10:59:13 as along with 1 person MartinSchuerrer
	Pizza into Java: Translating theory into practice [My Copy] In In Proc. 24th ACM Symposium on Principles of Programming Languages (1997), pp. 146-159. by Martin Odersky, Philip Wadler posted to type-system java by fvogels on 2009-09-30 10:08:28 as
	A provenly correct translation of Fickle into Java [My Copy] ACM Trans. Program. Lang. Syst., Vol. 29, No. 2. (2007), 13. by D. Ancona, C. Anderson, F. Damiani, S. Drossopoulou, P. Giannini, E. Zucca posted to type-system translation semantics by ddemange on 2009-09-20 12:08:10 as
	Checking Polynomial Time Complexity with Types [My Copy] In TCS '02: Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (2002), pp. 370-382. by Patrick Baillot posted to type-system complexity by fvogels on 2009-09-14 23:23:14 as
	Efficient software model checking of soundness of type systems [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 493-504. by Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati posted to type-system by fvogels on 2009-08-12 14:54:58 as along with 1 person bulwahn
	Constrained types for object-oriented languages [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 457-474. by Nathaniel Nystrom, Vijay Saraswat, Jens Palsberg, Christian Grothoff posted to type-system by fvogels on 2009-08-12 14:52:09 as
	The design and implementation of typed scheme [My Copy] SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 395-406. by Sam T. Hochstadt, Matthias Felleisen posted to type-system scheme by fvogels on 2009-08-12 14:44:04 as along with 1 person and 1 group robotact Lambda the Ultimate
	A type-based approach to program security [My Copy] TAPSOFT '97: Theory and Practice of Software Development In TAPSOFT '97: Theory and Practice of Software Development, Vol. 1214 (1997), pp. 607-621. by Dennis Volpano, Geoffrey Smith edited by Michel Bidoit, Max Dauchet posted to type-system security noninterference language information-flow analysis 1997 by michaelbanks on 2009-06-09 18:06:15 as
	Distributed Control Flow with Classical Modal Logic [My Copy] In 14th Annual Conference of the European Association for Computer Science Logic (CSL 2005), Lecture Notes in Computer Science (2005) by Tom M. Vii, Karl Crary, Robert Harper posted to distributed-computation modal-logic type-system by kozima on 2009-05-28 03:29:39 as
	A Symmetric Modal Lambda Calculus for Distributed Computing [My Copy] Logic in Computer Science, Symposium on In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, Vol. 0 (2004), pp. 286-295. by V. Tom Murphy, Karl Crary, Robert Harper, Frank Pfenning posted to distributed-computation lambda-calculi modal-logic type-system by kozima on 2009-04-14 01:52:28 as along with 2 people and 1 group pirapira robertjohnsimmons ConcertRG
	Secure Introduction of One-Way Functions [My Copy] In CSFW '00: Proceedings of the 13th IEEE workshop on Computer Security Foundations (2000), 246. by Dennis Volpano posted to flow information measure noninterference one-way security type-system by ddemange on 2009-03-30 22:39:14 as
	Gradual Release: Unifying Declassification, Encryption and Key Release Policies [My Copy] In SP '07: Proceedings of the 2007 IEEE Symposium on Security and Privacy (2007), pp. 207-221. by Aslan Askarov, Andrei Sabelfeld posted to cryptography flow information noninterference security type-system by ddemange on 2009-03-30 22:37:15 as
	A New Type System for Secure Information Flow [My Copy] Computer Security Foundations Workshop, IEEE, Vol. 0 (2001), 0115. by Geoffrey Smith posted to flow information noninterference security type-system by ddemange on 2009-03-30 22:33:18 as
	Language-based information-flow security [My Copy] Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 21, No. 1. (2003), pp. 5-19. by A. Sabelfeld, A. C. Myers posted to language-based non-interference noninterference security type-system by ddemange on 2009-03-30 22:29:54 as along with 2 people dhein1030 christiand
	Information-Flow Security for Interactive Programs [My Copy] In CSFW '06: Proceedings of the 19th IEEE workshop on Computer Security Foundations (2006), pp. 190-201. by Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong posted to flow information interaction language-based sec type-system by ddemange on 2009-03-30 22:25:50 as
	Eliminating Covert Flows with Minimum Typings [My Copy] In CSFW '97: Proceedings of the 10th IEEE workshop on Computer Security Foundations (1997), 156. by Dennis Volpano, Geoffrey Smith posted to channel covert flow information type-system by ddemange on 2009-03-30 22:22:51 as
	Noninterference for concurrent programs and thread systems [My Copy] Theor. Comput. Sci., Vol. 281, No. 1-2. (2002), pp. 109-130. by Gérard Boudol, Ilaria Castellani posted to concurrent flow information noninterference type-system by ddemange on 2009-03-30 22:20:59 as
	Principles of Program Analysis [My Copy] (07 December 2004) by Flemming Nielson, Hanne R. Nielson, Chris Hankin posted to type-system semantics program data control-flow analysis abstract-interpretation 2005 by michaelbanks on 2009-02-14 11:29:49 as along with 6 people dimvar streetlightios yoriyuki marcinzalewski andymaule srccheck
	A Sound Type System for Secure Flow Analysis [My Copy] Journal of Computer Security, Vol. 4, No. 2-3. (1996), pp. 167-187. by Dennis Volpano, Cynthia Irvine, Geoffrey Smith posted to type-system security noninterference language information-flow analysis 1996 by michaelbanks on 2008-11-19 12:58:55 as along with 1 person ddemange
	Ownership types for safe programming: preventing data races and deadlocks [My Copy] In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 211-230. by Chandrasekhar Boyapati, Robert Lee, Martin Rinard posted to concurrency static-verification type-system by fvogels on 2008-11-17 13:56:46 as along with 5 people and 1 group plaugg kiniry amorkan nikomatsakis schuh SRG_at_UCD
	Object types against races [My Copy] In In Conference on Concurrent Theory (CONCUR, Vol. 1664 (1999), pp. 288-303. by Cormac Flanagan, Martn Abadi posted to concurrency formal-system type-system by fvogels on 2008-10-17 23:05:32 as
	Basic polymorphic typechecking [My Copy] Science of Computer Programming, Vol. 8 (1987), pp. 147-172. by Luca Cardelli posted to tutorial type-system by fvogels on 2008-10-17 20:18:22 as
	Typing Haskell in Haskell [My Copy] (1999) by M. Jones posted to compiler haskell type-system by dtim on 2007-11-14 13:30:12 as along with 4 people and 1 group SamB draganigajic cdiggins pedagand functional programming
	Type-Directed Concurrency [My Copy] by Deepak G. And posted to concurrency type-system type-theory by zednenem on 2007-03-28 02:39:55 as along with 2 people jrw harshrc
	Cduce: An xml-centric general-purpose language [My Copy] (2003) by V. Benzaken, G. Castagna, A. Frisch posted to functional-language pattern-matching regular-expressions type-system xml by petrijooste on 2006-06-15 11:07:00 as along with 1 person mzp
	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted to type-system by geishagirls on 2006-04-17 04:29:58 as along with 11 people and 1 group ama08r shimomura msakai rgrig yallop tautologico japple voigt kavabean rysavy jimburton SRG_at_UCD
	Role Analysis [My Copy] (2002) by Viktor Kuncak, Patrick Lam, Martin Rinard posted to role-analysis type-system by nikomatsakis on 2006-03-29 14:53:45 as along with 1 person jea53
	AnnoDomini: From Type Theory to Year 2000 Conversion Tool [My Copy] In Conference Record of POPL 99: The 26th {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Antonio, Texas (1999), pp. 1-14. by Peter H. Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten H. Sorensen, Mads Tofte posted to cobol jekyll old-programs type-system by robennals on 2005-11-29 13:14:54 as
	Type Inference for COBOL Systems [My Copy] In WCRE '98: Proceedings of the Working Conference on Reverse Engineering (WCRE'98) (1998) by A. Van Deursen, L. Moonen posted to cobol jekyll old-programs type-system by robennals on 2005-11-29 10:45:36 as
	Termination checking with types [My Copy] (2002) by A. Abel posted to termination type-system by zednenem on 2005-10-07 22:43:09 as along with 4 people and 2 groups shimomura msakai greenrd ardt SRG_at_UCD Lambda the Ultimate

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

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

noninterference	7
security	7
flow	6
information	6
concurrency	4
analysis	3
information-flow	3
language	3
cobol	2
distributed-computation	2
jekyll	2
language-based	2
modal-logic	2
old-programs	2
semantics	2
type-theory	2
1996	1
1997	1
2002	1
2005	1
2007	1
abstract-interpretation	1
book	1
channel	1
compiler	1
complexity	1
concurrent	1
control-flow	1
covert	1
cryptography	1
data	1
formal-system	1
functional-language	1
haskell	1
hoare-logic	1
hol	1
interaction	1
intersection_types	1
isabelle	1
java	1
lambda-calculi	1
lambda-calculus	1
measure	1
non-interference	1
object-oriented	1
one-way	1
pattern-matching	1
polymorphism	1
program	1
programming	1
regular-expressions	1
role-analysis	1
scheme	1
sec	1
static-verification	1
termination	1
textbook	1
translation	1
tutorial	1
type_inference_algorithm	1
types	1
verification	1
xml	1

Tag type-system [34 articles] Export Sort

Related Tags