Tag type_systems [21 articles] Export Sort

Recent papers classified by the tag type_systems.

Hide details

	Strict bidirectional type checking [My Copy] In TLDI '05: Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation (2005), pp. 71-78. by Adam Chlipala, Leaf Petersen, Robert Harper posted to type_systems by bulwahn on 2009-07-03 15:09:48 as along with 1 person robertjohnsimmons
	The worker/wrapper transformation [My Copy] Journal of Functional Programming, Vol. 19, No. 02. (2009), pp. 227-251. by G. I. L. L. Andy, Graham Hutton posted to haskell type_systems by shivak on 2009-07-01 19:28:05 as along with 2 people thegoose spl
	A Second Look at Overloading [My Copy] In Functional Programming Languages and Computer Architecture (1995), pp. 135-146. by Martin Odersky, Philip Wadler, Martin Wehr posted to type_systems by robotact on 2008-02-14 07:04:50 as along with 2 people yallop msakai
	Types and Programming Languages [My Copy] (01 February 2002) by Benjamin C. Pierce posted to formal_semantics programming_languages textbooks type_systems by robotact on 2008-01-31 18:32:04 as along with 21 people and 2 groups wain ama08r michaelbanks mperalta draganigajic eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga AndreasSchropp cogumbreiro beschmi srccheck jimburton jasmithoffice shimomura SRG_at_UCD Lambda the Ultimate
	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 programming_languages type_systems by robotact on 2008-01-22 13:10:05 as along with 1 person and 1 group fvogels Lambda the Ultimate
	A Delegation-based Object Calculus with Subtyping [My Copy] In Fundamentals of Computation Theory (FCT'95) (1995) by K. Fisher, J. Mitchell posted to calculi delegation object-calculi object-orientation prototypes subtyping type_systems by Leho on 2008-01-06 00:29:51 as
	A history of Haskell: being lazy with class [My Copy] In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages (2007) by Paul Hudak, John Hughes, Simon P. Jones, Philip Wadler posted to functional_programming haskell lazy_evaluation type-classes type_systems by Leho on 2007-12-26 12:38:30 as along with 1 person chandlerc
	On model typing [My Copy] Software and Systems Modeling, Vol. 6, No. 4. (December 2007), pp. 401-413. by Jim Steel, Jean M. Jézéquel posted to 2007 mda metamodelling model_transformation mof _to_print type_systems typing by leonardo on 2007-10-26 00:45:31 as
	BeCecil, A Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing [My Copy] In The Fourth International Workshop on Foundations of Object-Oriented Languages, FOOL 4, Paris, France (1996) by Craig Chambers, Gary T. Leavens posted to cecil multimethods object-orientation prototypes semantics type_systems by Leho on 2007-07-27 14:07:15 as
	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 data_abstraction polymorphism type_systems by Leho on 2007-07-27 05:32:48 as along with 8 people and 1 group dherman tautologico amorkan lyongu ben_moseley bunge fmc dmeister NU-PRL
	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_systems by Leho on 2007-07-27 05:31:01 as along with 1 person tautologico
	Type Systems [My Copy] In The Computer Science and Engineering Handbook (1997) by Luca Cardelli edited by Allen B. Tucker posted to contravariance covariance existential_polymorphism lambda_calculi subtyping type_checking type_inference type_systems universal_polymorphism by Leho on 2007-07-27 05:29:09 as along with 11 people and 2 groups talototo draganigajic rgrig greenrd tautologico amorkan lyongu Bluetulip jimburton mvermaat zuleger SRG_at_UCD Lambda the Ultimate
	SafeJava: A Unified Type System for Safe Programming [My Copy] (2004) by C. Boyapati posted to java safe type_systems by schuh on 2006-06-07 09:26:16 as along with 2 people blog01 amorkan
	Automated type-based analysis of data races and atomicity [My Copy] In PPoPP '05: Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming (2005), pp. 83-94. by Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller posted to java software_analysis type_systems by schuh on 2006-05-22 14:28:22 as along with 1 person NSumner
	Ownership types for object encapsulation [My Copy] In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 213-223. by Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira posted to ownership_types type_systems by schuh on 2006-05-16 15:35:43 as along with 4 people and 3 groups samth dsilva jipibanf kiniry NU-PRL onekin SRG_at_UCD
	A practical type system and language for reference immutability [My Copy] In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 39, No. 10. (October 2004), pp. 35-49. by Adrian Birka, Michael D. Ernst posted to access_control java type_systems by schuh on 2006-05-11 13:56:19 as along with 2 people and 1 group plaugg kiniry SRG_at_UCD
	Extending Java for package based access control [My Copy] In ACSAC '00: Proceedings of the 16th Annual Computer Security Applications Conference (2000) by M. Papa, O. Bremer, R. Chandia, J. Hale, S. Shenoi posted to access_control java software_analysis type_systems by schuh on 2006-05-11 13:31:06 as along with 1 person plaugg
	Principles of Program Analysis [My Copy] (1999) by Flemming Nielson, Hanne R. Nielson, Chris Hankin posted to alias_analysis callgraph controlflow data_flow graph interprocedural static_analysis type_systems by plaugg on 2006-03-21 16:52:14 as along with 2 people dvanhorn zuleger
	A Type-Based Approach to Program Security [My Copy] In TAPSOFT '97: Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (1997), pp. 607-621. by Dennis M. Volpano, Geoffrey Smith posted to security static_analysis type_systems by plaugg on 2006-03-21 16:35:06 as along with 3 people ddemange scavadini tesissvc
	Static enforcement of security with types [My Copy] In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, Vol. 35, No. 9. (September 2000), pp. 34-45. by Christian Skalka, Scott Smith posted to java security static_analysis type_systems by plaugg on 2006-03-21 16:32:47 as
	Putting curry-howard to work [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 74-85. by Tim Sheard posted to type_systems by plaugg on 2006-03-15 14:41:13 as along with 13 people and 3 groups Scis0000002 fvogels draganigajic greenrd yallop thsutton voigt mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate

Note: You may cite this page as: http://www.citeulike.org/tag/type_systems

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

java	5
static_analysis	3
access_control	2
haskell	2
object-orientation	2
programming_languages	2
prototypes	2
security	2
software_analysis	2
subtyping	2
2007	1
_to_print	1
alias_analysis	1
calculi	1
callgraph	1
cecil	1
contravariance	1
controlflow	1
covariance	1
data_abstraction	1
data_flow	1
delegation	1
existential_polymorphism	1
formal_semantics	1
functional_programming	1
graph	1
interprocedural	1
lambda_calculi	1
lazy_evaluation	1
mda	1
metamodelling	1
model_transformation	1
mof	1
multimethods	1
object-calculi	1
ownership_types	1
polymorphism	1
safe	1
semantics	1
textbooks	1
type-classes	1
type_checking	1
type_inference	1
typing	1
universal_polymorphism	1

Tag type_systems [21 articles] Export Sort

Related Tags