新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

msakai type-theory [68 articles]

最近 msakai さんのライブラリに追加された論文の中から タグ type-theory. You can also see everyone's type-theory.
  • Inductively defined types
    COLOG-88 (1990), pp. 50-66.
    by Thierry Coquand, Christine Paulin
    posted to type-theory coq by msakai on 2008-10-05 01:25:46 as **
  • notes Sets in types, types in sets
    Vol. 1281 (1997), pp. 530-546.
    by Benjamin Werner
    posted to type-theory by msakai on 2008-09-13 14:17:55 as read along with 1 person yoriyuki
  • ソフトウェア仕様の差分について
    by Tadao Ishii
    posted to type-theory specification by msakai on 2008-09-04 00:48:18 as read
  • Do we Need Dependent Types?
    (2001)
    by Daniel Fridlender, Mia Indrika
    posted to dependent-types type-theory by msakai on 2008-08-25 00:26:51 as ** along with 1 person shimomura
  • Syntax and Semantics of Dependent Types
    Vol. 14 (1997), pp. 79-130.
    by Martin Hofmann
    edited by AM Pitts, P Dybjer
    posted to type-theory by msakai on 2008-08-05 14:26:29 as ** along with 3 people and 1 group tautologico rysavy xiemaisi AS-IIS_ReadingGroup
  • Specification and Verification Using Dependent Types
    IEEE Trans. Softw. Eng., Vol. 16, No. 9. (September 1990), pp. 949-964.
    by FK Hanna, N Daeche, M Longley
    posted to type-theory by msakai on 2008-07-23 23:18:23 as ** along with 1 person shimomura
  • Algebra of Programming using Dependent Types
    Vol. Volume 5133/2008 (2008), pp. 268-283.
    by Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
    posted to type-theory by msakai on 2008-07-15 02:35:20 as ** along with 1 person shimomura
  • Translating dependent type theory into higher order logic
    Typed Lambda Calculi and Applications (1993), pp. 209-229.
    by Bart Jacobs, Tom Melham
    posted to logic type-theory by msakai on 2008-07-15 02:34:56 as ** along with 1 person shimomura
  • Type Systems for Concurrent Programs
    Formal Methods at the Crossroads: From Panacea to Foundational Support (2003), pp. 439-453.
    by Naoki Kobayashi
    posted to concurrency type-theory by msakai on 2008-07-04 01:39:43 as ** along with 2 people olegus yoriyuki
  • Random Generators for Dependent Types
    Theoretical Aspects of Computing - ICTAC 2004 (2005), pp. 341-355.
    by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    posted to dependent-types type-theory by msakai on 2008-06-24 01:37:54 as ** along with 1 person shimomura
  • A proof-irrelevant model of Martin-Löf's logical framework
    Mathematical Structures in Computer Science, Vol. 12, No. 06. (2003), pp. 771-795.
    by Daniel Fridlender
    posted to type-theory by msakai on 2008-06-01 05:06:14 as **
  • Single-threaded polymorphic lambda calculus
    Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 333-343.
    by JC Guzman, P Hudak
    posted to lambda-calculus type-theory by msakai on 2008-06-01 02:42:31 as read
  • A simple model for quotient types
    Typed Lambda Calculi and Applications (1995), pp. 216-234.
    by Martin Hofmann
    posted to type-theory by msakai on 2008-06-01 02:38:33 as read
  • A polymorphic record calculus and its compilation
    ACM Trans. Program. Lang. Syst., Vol. 17, No. 6. (November 1995), pp. 844-895.
    by Atsushi Ohori
    posted to type-theory by msakai on 2008-05-31 14:14:46 as read along with 1 person and 1 group dherman NU-PRL
  • Static Typing Where Possible, Dynamic Typing When Needed: The End of the Cold War Between Programming Languages
    by Erik Meijer, Peter Drayton
    posted to type-theory by msakai on 2008-05-31 10:57:25 as ** along with 6 people and 1 group dherman hamish JeffreyPalmer ben_moseley bunge ds NU-PRL
  • notes Substructural Type Systems for Program Analysis
    Functional and Logic Programming (2008), pp. 14-14.
    by Naoki Kobayashi
    posted to program-analysis type-theory by msakai on 2008-05-28 23:48:42 as ****
  • Haskell and principal types
    (2003), pp. 88-97.
    by Karl-Filip Faxén
    posted to haskell type-theory by msakai on 2008-05-28 13:44:22 as **
  • Gradual typing for functional languages
    (September 2006)
    by Jeremy G Siek, Walid Taha
    posted to soft-typing type-theory by msakai on 2008-05-28 13:43:07 as ** along with 1 person shimomura
  • The Theory of Parametricity in Lambda Cube
    by Izumi Takeuti
    posted to polymorphism type-theory by msakai on 2008-05-28 13:22:22 as read
  • Typing Haskell in Haskell (REVISED VERSION)
    (23 November 2000)
    by Mark P Jones
    posted to haskell type-theory by msakai on 2008-05-28 12:54:16 as read
  • Infinite objects in type theory
    Types for Proofs and Programs (1994), pp. 62-78.
    by Thierry Coquand
    posted to coalgebra type-theory by msakai on 2008-05-28 12:33:14 as read along with 1 person darinm
  • Phantom types
    (2003)
    by J Cheney, R Hinze
    posted to type-theory by msakai on 2008-05-28 12:28:23 as read
  • Towards Observational Type Theory
    by Thorsten Altenkirch, Conor Mcbride
    posted to type-theory by msakai on 2008-05-27 23:36:35 as read
  • A unifying theory of dependent types: the schematic approach
    Logical Foundations of Computer Science — Tver '92 (1992), pp. 293-304.
    by Zhaohui Luo
    posted to type-theory by msakai on 2008-05-27 23:32:16 as **
  • Nested Datatypes
    Mathematics of Program Construction (1998), 52.
    by Richard Bird, Lambert Meertens
    posted to haskell type-theory by msakai on 2008-05-25 10:18:22 as read
  • Quasi-linear types
    (1999), pp. 29-42.
    by Naoki Kobayashi
    posted to type-theory by msakai on 2008-05-25 09:43:00 as read along with 3 people keigoi suer shimomura
  • A Second Look at Overloading
    (1995), pp. 135-146.
    by Martin Odersky, Philip Wadler, Martin Wehr
    posted to type-theory by msakai on 2008-05-25 09:41:12 as read along with 2 people yallop robotact
  • notes 多相レコード型に基づくRubyプログラムの型推論
    (March 2008)
    by Soutaro Matsumoto, Yasuhiko Minamide
    posted to ruby type-theory by msakai on 2008-05-13 18:44:06 as read
  • notes A Nominal Theory of Objects with Dependent Types
    ECOOP 2003 -- Object-Oriented Programming (2003), pp. 201-224.
    by Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger
    posted to scala type-theory by msakai on 2008-05-11 04:19:52 as **
  • An Intuitionistic Version of Cantor's Theorem
    Mathematical Logic Quarterly, Vol. 42, No. 1. (1996), pp. 446-448.
    by Dario Maguolo, Silvio Valentini
    posted to intuitionistic type-theory by msakai on 2008-04-17 16:17:49 as **
  • A Formulae-as-Types Interpretation of Subtractive Logic
    J Logic Computation, Vol. 14, No. 4. (1 August 2004), pp. 529-570.
    by Tristan Crolard
    posted to type-theory by msakai on 2008-04-17 16:02:39 as read
  • On the Interpretation of Type Theory in Locally Cartesian Closed Categories
    (1994), pp. 427-441.
    by Martin Hofmann
    posted to category-theory type-theory by msakai on 2008-03-30 23:07:11 as **
  • notes Polymorphic Delimited Continuations
    Programming Languages and Systems (2007), pp. 239-254.
    by Kenichi Asai, Yukiyoshi Kameyama
    posted to continuation type-theory by msakai on 2008-03-16 15:04:55 as read along with 2 people keigoi nominolo
  • 文脈依存資源使用解析のための型システム
    (March 2008)
    by Tatsuya Nakaima, Atsushi Igarashi, Naoki Kobayashi
    posted to ppl2008 type-theory by msakai on 2008-03-08 03:00:21 as **
  • Lightweight scalable components
    (2007), pp. 145-154.
    by Tetsuo Kamina, Tetsuo Tamai
    posted to ppl2008 type-theory by msakai on 2008-03-08 02:26:16 as ***
  • notes Featherweight Javaのための漸進的型付け
    (March 2008)
    by Rintaro Ina, Atsushi Igarashi
    posted to ppl2008 type-theory by msakai on 2008-03-08 02:22:55 as read
  • The Path Category in ALF and AGDA
    by Ilya Beylin
    posted to category-theory type-theory by msakai on 2008-02-27 06:44:47 as read
  • Intuitionistic Type Theory
    (1980)
    by Per Martin-Löf
    posted to type-theory by msakai on 2008-02-17 12:32:12 as read along with 1 person greg_restall
  • A cartesian closed category in Martin-Löf's intuitionistic type theory
    Theor. Comput. Sci., Vol. 290, No. 1. (January 2003), pp. 189-219.
    by Silvio Valentini
    posted to category-theory type-theory by msakai on 2008-02-09 13:51:17 as **
  • A Type System for Bounded Space and Functional In-Place Update--Extended Abstract
    Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 165-??.
    by Martin Hofmann
    posted to complexity type-theory by msakai on 2008-01-24 10:01:01 as **
  • Foundations for structured programming with GADTs
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308.
    by Patricia Johann, Neil Ghani
    posted to category-theory haskell type-theory by msakai on 2008-01-14 11:24:01 as read along with 3 people and 1 group draganigajic hellige jimburton Lambda the Ultimate
  • A Simple Solution to Type Specialization
    Automata, Languages and Programming (1998), 908.
    by Olivier Danvy
    posted to type-theory by msakai on 2007-11-14 00:28:37 as ** along with 2 people jkominek keigoi
  • Program-ing finger trees in Coq
    SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 13-24.
    by Matthieu Sozeau
    posted to type-theory by msakai on 2007-11-04 15:25:35 as read
  • notes A modal type system for multi-level generating extensions with persistent code
    (2006), pp. 201-212.
    by Yosihiro Yuse, Atsushi Igarashi
    posted to modal-logic temporal-logic type-theory by msakai on 2007-09-17 17:44:08 as read along with 1 person kozima
  • A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework
    Journal of Automated Reasoning (1993)
    by Frank Pfenning
    posted to type-theory by msakai on 2007-09-09 17:09:48 as **
  • Formalized Limits and Colimits of Setoids
    by Jesper Carlström
    posted to category-theory type-theory by msakai on 2007-09-03 12:14:12 as **
  • On the Semantics of Coinductive Types in Martin-Löf Type Theory
    Algebra and Coalgebra in Computer Science (2005), pp. 114-126.
    by Federico De Marchi
    posted to coalgebra type-theory by msakai on 2007-09-03 11:20:22 as **
  • A note on russell's paradox in locally cartesian closed categories
    Studia Logica, Vol. 48, No. 3. (1989), pp. 377-387.
    by Andrew M Pitts, Paul Taylor
    posted to type-theory by msakai on 2007-09-03 11:19:25 as **
  • On the Interpretation of Type Theory in Locally Cartesian Closed Categories
    (1994), pp. 427-441.
    by Martin Hofmann
    posted to type-theory by msakai on 2007-09-03 11:15:44 as ** along with 1 person jrw
  • Inductive Families Need Not Store Their Indices
    Types for Proofs and Programs (2004), pp. 115-129.
    by Edwin Brady, Conor Mcbride, James Mckinna
    posted to type-theory by msakai on 2007-09-03 11:09:35 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/msakai/tag/type-theory

    Result page: 1 2 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.