<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:cc="http://web.resource.org/cc/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="http://www.bibsonomy.org/concept/tag/types"><title>BibSonomy publications for /concept/tag/types</title><link>http://www.bibsonomy.org/publrss/concept/tag/types</link><description>BibSonomy RSS Feed for /concept/tag/types</description><items><rdf:Seq><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2582641c05e7a0b9396945a951822c83f/mschuber"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2bf9bff4f99d460ccddca46c4917dc6f2/mschuber"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/28cde570f9395b3500f99f33c13dd5b91/brazovayeye"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2d1fbc94edcefc5efaa58d5d4821a2a27/smicha"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/25538d714125fbd085e6ba023ef15096a/smicha"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2390e89745ddcc31d7662b09ba0da0444/conferencepro"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/254937ffdcf80e7cee44bb37d250a0612/stefano"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/27961ae00a29e3499915b9ea0015455f3/kimmens"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/248db098d445ef79bd79ed01f968caef0/kimmens"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/26ef4be37ae4cbf56d304b0cfb3f23f96/iccs"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2db3a286cd92911dcc7b0912b61c18cd5/charoy"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/23ef19b73a88e52df848107ec266ac5c0/stumme"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2ec8fa8ea38e69d78e69f8a8e03b73a08/snowball"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/27ee76294f11a49bd80facb93b7fe9233/snowball"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/25e22f3a1e6b829d505cacde0ea512fab/mobileink"/><rdf:li rdf:resource="http://www.bibsonomy.org/bibtex/2284a59e62df76167929a0ade070a76aa/mobileink"/></rdf:Seq></items></channel><item rdf:about="http://www.bibsonomy.org/bibtex/2582641c05e7a0b9396945a951822c83f/mschuber"><title>tagging, communities, vocabulary, evolution</title><description>tagging, communities, vocabulary, evolution</description><link>http://www.bibsonomy.org/bibtex/2582641c05e7a0b9396945a951822c83f/mschuber</link><dc:creator>mschuber</dc:creator><dc:date>2008-09-24T13:53:11+02:00</dc:date><dc:subject>vocabulary navigation reading-group 2006 lab-meeting tags types </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Shilad &lt;a href=&#034;http://www.bibsonomy.org/author/Sen&#034;&gt;Sen&lt;/a&gt;  und Shyong K. &lt;a href=&#034;http://www.bibsonomy.org/author/Lam&#034;&gt;Lam&lt;/a&gt;  und Al Mamunur &lt;a href=&#034;http://www.bibsonomy.org/author/Rashid&#034;&gt;Rashid&lt;/a&gt;  und Dan &lt;a href=&#034;http://www.bibsonomy.org/author/Cosley&#034;&gt;Cosley&lt;/a&gt;  und Dan &lt;a href=&#034;http://www.bibsonomy.org/author/Frankowski&#034;&gt;Frankowski&lt;/a&gt;  und Jeremy &lt;a href=&#034;http://www.bibsonomy.org/author/Osterhouse&#034;&gt;Osterhouse&lt;/a&gt;  und F. &lt;a href=&#034;http://www.bibsonomy.org/author/Maxwell Harper&#034;&gt;Maxwell Harper&lt;/a&gt;  und John &lt;a href=&#034;http://www.bibsonomy.org/author/Riedl&#034;&gt;Riedl&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;CSCW &#039;06: Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work, &lt;/em&gt;&lt;em&gt;Seite181--190. &lt;/em&gt;&lt;em&gt;New York, NY, USA, &lt;/em&gt;&lt;em&gt;ACM, &lt;/em&gt;(&lt;em&gt;2006&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/vocabulary"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/navigation"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/reading-group"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/2006"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/lab-meeting"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/tags"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2bf9bff4f99d460ccddca46c4917dc6f2/mschuber"><title>Where do Goals Come from: the Underlying Principles of Goal-Oriented Requirements Engineering</title><link>http://www.bibsonomy.org/bibtex/2bf9bff4f99d460ccddca46c4917dc6f2/mschuber</link><dc:creator>mschuber</dc:creator><dc:date>2008-06-27T12:09:37+02:00</dc:date><dc:subject>engineering goals requirement RE types 2005 </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Gil &lt;a href=&#034;http://www.bibsonomy.org/author/Regev&#034;&gt;Regev&lt;/a&gt;  und Alain &lt;a href=&#034;http://www.bibsonomy.org/author/Wegmann&#034;&gt;Wegmann&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;RE &#039;05: Proceedings of the 13th IEEE International Conference on Requirements Engineering, &lt;/em&gt;&lt;em&gt;Seite253--362. &lt;/em&gt;&lt;em&gt;Washington, DC, USA, &lt;/em&gt;&lt;em&gt;IEEE Computer Society, &lt;/em&gt;(&lt;em&gt;2005&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/engineering"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/goals"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/requirement"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/RE"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/2005"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/28cde570f9395b3500f99f33c13dd5b91/brazovayeye"><title>An abstraction-based genetic programming system</title><link>http://www.bibsonomy.org/bibtex/28cde570f9395b3500f99f33c13dd5b91/brazovayeye</link><dc:creator>brazovayeye</dc:creator><dc:date>2008-06-19T17:35:00+02:00</dc:date><dc:subject>types calculus, genetic algorithms, polymorphism, languages, lambda programming, </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Franck &lt;a href=&#034;http://www.bibsonomy.org/author/Binard&#034;&gt;Binard&lt;/a&gt;  und Amy &lt;a href=&#034;http://www.bibsonomy.org/author/Felty&#034;&gt;Felty&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Late breaking paper at Genetic and Evolutionary Computation Conference (GECCO&#039;2007), &lt;/em&gt;&lt;em&gt;Seite2415--2422. &lt;/em&gt;&lt;em&gt;London, United Kingdom, &lt;/em&gt;&lt;em&gt;ACM Press, &lt;/em&gt;&lt;em&gt;7-11 July2007. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/calculus,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/genetic"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/algorithms,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/polymorphism,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/languages,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/lambda"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/programming,"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2d1fbc94edcefc5efaa58d5d4821a2a27/smicha"><title>A new proof of the multidimensional convergence of types theorem</title><link>http://www.bibsonomy.org/bibtex/2d1fbc94edcefc5efaa58d5d4821a2a27/smicha</link><dc:creator>smicha</dc:creator><dc:date>2008-04-23T22:05:04+02:00</dc:date><dc:subject>types of theorem Convergence </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Daniel &lt;a href=&#034;http://www.bibsonomy.org/author/Neuenschwander&#034;&gt;Neuenschwander&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Statistics \&amp;amp; Probability Letters&lt;/em&gt;&lt;em&gt;33(1):85--88&lt;/em&gt;&lt;em&gt;Apr1997. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/of"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/theorem"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Convergence"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/25538d714125fbd085e6ba023ef15096a/smicha"><title>Posterior implementation vs ex-post implementation</title><description>Economics Letters</description><link>http://www.bibsonomy.org/bibtex/25538d714125fbd085e6ba023ef15096a/smicha</link><dc:creator>smicha</dc:creator><dc:date>2008-04-21T22:09:52+02:00</dc:date><dc:subject>Multi-dimensional types </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Philippe &lt;a href=&#034;http://www.bibsonomy.org/author/Jehiel&#034;&gt;Jehiel&lt;/a&gt;  und Moritz Meyer-ter &lt;a href=&#034;http://www.bibsonomy.org/author/Vehn&#034;&gt;Vehn&lt;/a&gt;  und Benny &lt;a href=&#034;http://www.bibsonomy.org/author/Moldovanu&#034;&gt;Moldovanu&lt;/a&gt;  und William R. &lt;a href=&#034;http://www.bibsonomy.org/author/Zame&#034;&gt;Zame&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Economics Letters&lt;/em&gt;&lt;em&gt;97(1):70--73&lt;/em&gt;&lt;em&gt;Oct2007. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Multi-dimensional"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2390e89745ddcc31d7662b09ba0da0444/conferencepro"><title>Navigating the Sea of Research on Videoconferencing-Based Distance Education Keywords - Teaching types</title><description>This white paper summarizes a representative subset of recent research on interactive videoconferencing for distance education. The paper illustrates the fact that the past decade has witnessed a tremendous amount of distance education research, with a smaller but growing body of work specifically on videoconferencing’s use in education</description><link>http://www.bibsonomy.org/bibtex/2390e89745ddcc31d7662b09ba0da0444/conferencepro</link><dc:creator>conferencepro</dc:creator><dc:date>2007-11-21T16:48:13+01:00</dc:date><dc:subject>Teaching types </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Alan &lt;a href=&#034;http://www.bibsonomy.org/author/Greenberg&#034;&gt;Greenberg&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Wainhouse Research&lt;/em&gt;(&lt;em&gt;2004&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Teaching"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/254937ffdcf80e7cee44bb37d250a0612/stefano"><title>The Functional Neuroanatomy of Thematic Role and Locative Relational Knowledge</title><link>http://www.bibsonomy.org/bibtex/254937ffdcf80e7cee44bb37d250a0612/stefano</link><dc:creator>stefano</dc:creator><dc:date>2007-11-10T17:21:50+01:00</dc:date><dc:subject>theta neuroscience nlp types relations imaging </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Denise H. &lt;a href=&#034;http://www.bibsonomy.org/author/Wu&#034;&gt;Wu&lt;/a&gt;  und Sara &lt;a href=&#034;http://www.bibsonomy.org/author/Waller&#034;&gt;Waller&lt;/a&gt;  und &amp;#173;Anjan &lt;a href=&#034;http://www.bibsonomy.org/author/Chatterjee&#034;&gt;Chatterjee&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Journal of Cognitive Neuroscience&lt;/em&gt;&lt;em&gt;19(9):1542--1555&lt;/em&gt;(&lt;em&gt;2007&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/theta"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/neuroscience"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/nlp"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/relations"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/imaging"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/27961ae00a29e3499915b9ea0015455f3/kimmens"><title>Type-Oriented Logic Meta Programming</title><description>Some references related to aspect mining</description><link>http://www.bibsonomy.org/bibtex/27961ae00a29e3499915b9ea0015455f3/kimmens</link><dc:creator>kimmens</dc:creator><dc:date>2007-09-26T23:47:55+02:00</dc:date><dc:subject>metaprogramming types </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Kris De &lt;a href=&#034;http://www.bibsonomy.org/author/Volder&#034;&gt;Volder&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Department of Computer Science, Vrije Universiteit Brussel, Belgium, &lt;/em&gt;(&lt;em&gt;1998&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/metaprogramming"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/248db098d445ef79bd79ed01f968caef0/kimmens"><title>Regular Types for Active Objects</title><description>Some references related to aspect mining</description><link>http://www.bibsonomy.org/bibtex/248db098d445ef79bd79ed01f968caef0/kimmens</link><dc:creator>kimmens</dc:creator><dc:date>2007-09-26T23:47:39+02:00</dc:date><dc:subject>types </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Oscar &lt;a href=&#034;http://www.bibsonomy.org/author/Nierstrasz&#034;&gt;Nierstrasz&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Proceedings of the OOPSLA 1993 Conference on Object-Oriented Programming Systems, Languages and Applications, ACM SIGPLAN Notices, &lt;/em&gt;&lt;em&gt;Seite1--15. &lt;/em&gt;&lt;em&gt;ACM Press, &lt;/em&gt;(&lt;em&gt;1993&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/26ef4be37ae4cbf56d304b0cfb3f23f96/iccs"><title>Concept Types and Coreference in Simple Conceptual Graphs.</title><link>http://www.bibsonomy.org/bibtex/26ef4be37ae4cbf56d304b0cfb3f23f96/iccs</link><dc:creator>iccs</dc:creator><dc:date>2007-08-02T10:26:58+02:00</dc:date><dc:subject>simple 2004 sg cg graphs types iccs coreference conceptual </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Michel &lt;a href=&#034;http://www.bibsonomy.org/author/Chein&#034;&gt;Chein&lt;/a&gt;  und Marie-Laure &lt;a href=&#034;http://www.bibsonomy.org/author/Mugnier&#034;&gt;Mugnier&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Proceedings of the 12th International Conference on Conceptual Structures (ICCS 2004), &lt;/em&gt;&lt;em&gt;Volume3127vonLecture Notes in Computer Science, &lt;/em&gt;&lt;em&gt;Seite303-318. &lt;/em&gt;&lt;em&gt;Springer, &lt;/em&gt;(&lt;em&gt;2004&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/simple"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/2004"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/sg"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/cg"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/graphs"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/iccs"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/coreference"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/conceptual"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2db3a286cd92911dcc7b0912b61c18cd5/charoy"><title>Version Control in an Object--Oriented Architecture</title><link>http://www.bibsonomy.org/bibtex/2db3a286cd92911dcc7b0912b61c18cd5/charoy</link><dc:creator>charoy</dc:creator><dc:date>2007-06-19T16:03:11+02:00</dc:date><dc:subject>types oodb, AVANCE, version, </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;A. &lt;a href=&#034;http://www.bibsonomy.org/author/Bj�rnerstedt&#034;&gt;Bj&amp;#65533;rnerstedt&lt;/a&gt;  und Christer &lt;a href=&#034;http://www.bibsonomy.org/author/Hult�n&#034;&gt;Hult&amp;#65533;n&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Object-Oriented Concepts, Databases, and Applications, &lt;/em&gt;&lt;em&gt;chapter 18, &lt;/em&gt;&lt;em&gt;ACM Press, &lt;/em&gt;(&lt;em&gt;1989&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/oodb,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/AVANCE,"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/version,"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/23ef19b73a88e52df848107ec266ac5c0/stumme"><title>Why social networks are different from other types of networks</title><link>http://www.bibsonomy.org/bibtex/23ef19b73a88e52df848107ec266ac5c0/stumme</link><dc:creator>stumme</dc:creator><dc:date>2007-06-13T11:16:11+02:00</dc:date><dc:subject>types Networks social mixing </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;M. E. J. &lt;a href=&#034;http://www.bibsonomy.org/author/Newman&#034;&gt;Newman&lt;/a&gt;  und Juyong &lt;a href=&#034;http://www.bibsonomy.org/author/Park&#034;&gt;Park&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Physical Review E (Statistical, Nonlinear, and Soft Matter Physics)&lt;/em&gt;&lt;em&gt;68(3):036122&lt;/em&gt;(&lt;em&gt;2003&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/Networks"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/social"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/mixing"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2ec8fa8ea38e69d78e69f8a8e03b73a08/snowball"><title>Dynamic Typing in a Statically Typed Language</title><link>http://www.bibsonomy.org/bibtex/2ec8fa8ea38e69d78e69f8a8e03b73a08/snowball</link><dc:creator>snowball</dc:creator><dc:date>2006-03-09T08:15:35+01:00</dc:date><dc:subject>binder types popl91 </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Martin &lt;a href=&#034;http://www.bibsonomy.org/author/Abadi&#034;&gt;Abadi&lt;/a&gt;  und Luca &lt;a href=&#034;http://www.bibsonomy.org/author/Cardelli&#034;&gt;Cardelli&lt;/a&gt;  und Benjamin &lt;a href=&#034;http://www.bibsonomy.org/author/Pierce&#034;&gt;Pierce&lt;/a&gt;  und Gordon &lt;a href=&#034;http://www.bibsonomy.org/author/Plotkin&#034;&gt;Plotkin&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;ACM Transactions on Programming Languages and Systems&lt;/em&gt;&lt;em&gt;13(2):237--268&lt;/em&gt;&lt;em&gt;April1991. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/binder"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/popl91"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/27ee76294f11a49bd80facb93b7fe9233/snowball"><title>Regular Types for Active Objects</title><link>http://www.bibsonomy.org/bibtex/27ee76294f11a49bd80facb93b7fe9233/snowball</link><dc:creator>snowball</dc:creator><dc:date>2006-03-09T08:15:35+01:00</dc:date><dc:subject>osg-ftp oopsla93 olit-obc equivalence types rtao pcalc vo93 </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Oscar &lt;a href=&#034;http://www.bibsonomy.org/author/Nierstrasz&#034;&gt;Nierstrasz&lt;/a&gt;  &lt;/span&gt;&lt;em&gt;Proceedings of the 8th ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA-93), &lt;/em&gt;&lt;em&gt;Volume28, 10vonACM SIGPLAN Notices, &lt;/em&gt;&lt;em&gt;Seite1--15. &lt;/em&gt;&lt;em&gt;October1993. &lt;/em&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/osg-ftp"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/oopsla93"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/olit-obc"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/equivalence"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/rtao"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pcalc"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/vo93"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/25e22f3a1e6b829d505cacde0ea512fab/mobileink"><title>Types and Programming Languages</title><link>http://www.bibsonomy.org/bibtex/25e22f3a1e6b829d505cacde0ea512fab/mobileink</link><dc:creator>mobileink</dc:creator><dc:date>2006-01-28T18:14:42+01:00</dc:date><dc:subject>pgmlang types </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt; &lt;a href=&#034;http://www.bibsonomy.org/author/Pierce&#034;&gt;Pierce&lt;/a&gt;  &lt;/span&gt;(&lt;em&gt;2002&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pgmlang"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.bibsonomy.org/bibtex/2284a59e62df76167929a0ade070a76aa/mobileink"><title>Advanced Topics in Types and Programming Languages</title><link>http://www.bibsonomy.org/bibtex/2284a59e62df76167929a0ade070a76aa/mobileink</link><dc:creator>mobileink</dc:creator><dc:date>2006-01-28T18:13:07+01:00</dc:date><dc:subject>pgmlang types </dc:subject><content:encoded>&lt;span style=&#034;color:#555555;&#034;&gt;Benjamin &lt;a href=&#034;http://www.bibsonomy.org/author/Pierce&#034;&gt;Pierce&lt;/a&gt;  &lt;/span&gt;(&lt;em&gt;2005&lt;/em&gt;)</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="http://www.bibsonomy.org/tag/pgmlang"/><rdf:li rdf:resource="http://www.bibsonomy.org/tag/types"/></rdf:Bag></taxo:topics></item></rdf:RDF>