新規登録 | ログイン | FAQ      [?] 

タグ: dependent-types [44 articles]

Recent papers classified by the tag dependent-types.
  • Dependent types in practical programming
    (1999), pp. 214-227.
    by Hongwei Xi, Frank Pfenning
    posted to dependent-types typing by yallop on 2005-05-09 00:01:26 as ** along with 8 people and 1 group rgrig tautologico japple voigt kavabean geishagirls rysavy jimburton SRG_at_UCD
  • Putting curry-howard to work
    (2005), pp. 74-85.
    by Tim Sheard
    posted to dependent-types functional-programming haskell strict-evaluation types by voigt on 2005-10-06 08:32:41 as read along with 10 people and 3 groups greenrd plaugg yallop thsutton mahler KarlKlose mcclurmc robotact jimburton americovargas Rightscom SRG_at_UCD Lambda the Ultimate
  • Verifying haskell programs using constructive type theory
    (2005), pp. 62-73.
    by Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
    posted to dependent-types functional-programming haskell monads theorem-provers types verification by voigt on 2005-10-06 08:30:33 as read along with 4 people and 1 group greenrd p1738j msakai meiersi SRG_at_UCD
  • Faking it---simulating dependent types in Haskell
    (2001)
    by C Mcbride
    posted to dependent-types types by twleung on 2005-01-10 23:29:11 as ** along with 5 people and 2 groups sclv dherman JacquesC greenrd tov NU-PRL SRG_at_UCD
  • Dependent Types in Practical Programming
    (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 6 people and 1 group sclv dherman bdauvergne radico mstone pedagand NU-PRL
  • Dependently Typed Data Structures
    (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
    (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
    Vol. 14 (1997), pp. 79-130.
    by Martin Hofmann
    edited by AM 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 msakai rysavy xiemaisi AS-IIS_ReadingGroup
  • An Introduction to Dependent Type Theory
    (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 4 people and 1 group dherman spl ryanc jimburton NU-PRL
  • An Introduction to Dependent Type Theory
    Lecture Notes in Computer Science, pp. 1-41.
    by Gilles Barthe, Thierry Coquand
    posted to dependent-types type-theory by tautologico on 2005-10-19 17:29:01 as *** along with 3 people and 1 group dherman greg_restall noam_zeilberger NU-PRL
  • Programming in Martin-Löf's Type Theory: An Introduction
    (19 July 1990)
    by Bengt Nordstrom, Kent Petersson, Jan M Smith
    posted to type-theory martin-lof introduction dependent-types book by spl on 2008-01-31 10:05:06 as ** along with 1 person bringert
  • Do we need dependent types?
    Journal of Functional Programming, Vol. 10, No. 4. (July 2000), pp. 409-415.
    by Daniel Fridlender, Mia Indrika
    posted to dependent-types haskell by spl on 2008-01-31 09:33:20 as ** along with 1 person jimburton
  • Guarded recursive datatype constructors
    (2002)
    by H Xi, C Chen, G Chen
    posted to dependent-types by radico on 2006-08-16 12:25:17 as **
  • Refinement types for ML
    Vol. 26, No. 6. (June 1991), pp. 268-277.
    by Tim Freeman, Frank Pfenning
    posted to dependent-types refinement-types by radico on 2006-08-16 12:17:00 as ** along with 1 person bec
  • Random Generators for Dependent Types
    Theoretical Aspects of Computing - ICTAC 2004 (2005), pp. 341-355.
    by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
    posted to type-theory dependent-types by msakai on 2008-06-24 01:37:54 as ** along with 1 person shimomura
  • Epigram: Practical Programming with Dependent Types
    Advanced Functional Programming (2005), pp. 130-170.
    by Conor Mcbride
    posted to dependent-types type-theory by mcclurmc on 2008-01-17 21:33:25 as *** along with 1 person and 1 group huitseeker Lambda the Ultimate
  • Syntax and Semantics of Dependent Types
    Vol. 14 (1997), pp. 79-130.
    by Martin Hofmann
    edited by AM Pitts, P Dybjer
    posted to category-theory dependent-types semantics type-theory by mcclurmc on 2008-04-02 14:59:58 as ** along with 1 person and 1 group jimburton Lambda the Ultimate
  • Aiding Dependent Type Checking with Rewrite Rules
    by Yorck Huencke, Oege de Moor
    posted to dependent-types rewriting by kavabean on 2005-11-14 20:07:17 as *****
  • A New Extraction for Coq
    Types for Proofs and Programs (2003), pp. 617-617.
    by Pierre Letouzey
    posted to type-theory dependent-types coq by jimburton on 2008-04-29 16:34:53 as * along with 2 people msakai mvermaat
  • Constructive Mathematics and Computer Programming
    Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518.
    by P Martin-Lof
    posted to dependent-types functional-programming by jimburton on 2008-02-26 13:55:12 as read along with 4 people and 1 group ansobol jrw Scis0000002 Constructivity Lambda the Ultimate
  • Lambda Calculi with Types
    Vol. 2 (1992)
    by Henk Barendregt
    posted to dependent-types type-theory by jimburton on 2008-02-28 19:27:19 as *** along with 8 people and 1 group pnkfelix tautologico xiemaisi Benja glaubersp ds mmarcus d23 AS-IIS_ReadingGroup
  • On-Demand Refinement of Dependent Types
    Functional and Logic Programming (2008), pp. 81-96.
    by Hiroshi Unno, Naoki Kobayashi
    posted to type-theory ml dependent-types by jimburton on 2008-07-14 14:29:02 as *** along with 1 person and 1 group jago Method_Engineering_Services
  • Implicit configurations -- or, type classes reflect the values of types
    (2004), pp. 33-44.
    by Oleg Kiselyov, Chung-Chieh Shan
    posted to dependent-types functional-programming haskell by jimburton on 2008-02-28 12:41:04 as *** along with 5 people and 1 group hellige greenrd yallop zednenem AndreasSchropp SRG_at_UCD
  • Advanced Topics In Types And Programming Languages
    (19 November 2004)
    by Benjamin C Pierce
    posted to dependent-types functional-programming type-theory by jimburton on 2008-02-26 14:24:06 as *** along with 7 people and 1 group shimomura sstrickl tautologico thsutton voigt lyongu msakai Lambda the Ultimate
  • Subset Coercions in Coq
    Types for Proofs and Programs (2007), pp. 237-252.
    by Matthieu Sozeau
    edited by Thorsten Altenkirch, Conor Mcbride
    posted to coq dependent-types functional-programming theorem-proving type-theory by jimburton on 2008-02-28 13:56:18 as ****
  • Fun with functional dependencies
    (2001)
    by T Hallgren
    posted to haskell function-programming dependent-types by jimburton on 2008-08-13 12:49:50 as *** along with 4 people huitseeker yallop voigt spl
  • notes The next mainstream programming language: a game developer's perspective
    (2006), pp. 269-269.
    by Tim Sweeney
    posted to concurrency dependent-types game-development haskell by janschaefer on 2007-04-12 15:26:11 as read along with 1 person and 1 group ktonon TU-KL-SoftwareTechnologyGroup
  • Meta-programming With Built-in Type Equality
    by Exte N Ed
    posted to dependent-types gadt meta-programming by JacquesC on 2005-01-23 14:40:55 as ** along with 1 person and 1 group eaubin NU-PRL
  • CPS Translations and Applications: The Cube and Beyond (Preliminary Report)
    (1996)
    by Gilles Barthe, John Hatcliff, MHB Morten
    edited by O Danvy
    posted to continuations cps dependent-types by JacquesC on 2006-04-05 02:47:21 as *** along with 3 people and 1 group dherman japple fensef NU-PRL
  • The view from the left
    J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
    by Conor Mcbride, James Mckinna
    posted to alpha-equivalence dependent-types epigram theorem-proving by dalev to the group NU-PRL on 2005-08-02 04:13:11 as read along with 2 people and 1 group greenrd dmitri83 SRG_at_UCD
  • Type checking dependent (record) types and subtyping
    J. Funct. Program., Vol. 10, No. 2. (March 2000), pp. 137-166.
    by Gustavo Betarte
    posted to dependent-types theorem-proving type-checking by dalev to the group NU-PRL on 2005-08-02 04:11:20 as **
  • Faking it Simulating dependent types in Haskell
    J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392.
    by Conor Mcbride
    posted to dependent-types haskell type-classes by dalev to the group NU-PRL on 2005-08-02 04:10:32 as ** along with 1 person americovargas
  • Dependent Types for Program Termination Verification
    (2001)
    by Hongwei Xi
    posted to dependent-types by dherman to the group NU-PRL on 2004-12-23 15:08:42 along with 1 person rysavy
  • Proving the Correctness of Reactive Systems Using Sized Types
    (1996), pp. 410-423.
    by John Hughes, Lars Pareto, Amr Sabry
    posted to dependent-types sized-types by dherman to the group NU-PRL on 2004-12-23 15:00:01
  • Hybrid type checking
    Vol. 41, No. 1. (January 2006), pp. 245-256.
    by Cormac Flanagan
    posted to dependent-types esc formal-methods hybrid-type-checking by greenrd to the group SRG_at_UCD on 2006-08-29 19:09:34 as ** along with 3 people and 1 group dsilva bec janschaefer TU-KL-SoftwareTechnologyGroup
  • Associated type synonyms
    (2005), pp. 241-253.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones
    posted to dependent-types haskell by greenrd to the group SRG_at_UCD on 2006-07-19 23:40:19 as ***** along with 4 people yallop kinaba voigt americovargas
  • Subtyping parametric and dependent types
    (1996)
    by Gang Chen, Giuseppe Longo
    edited by Kamareddine
    posted to survey subtyping dependent-types by dwehr to the group complogic on 2007-06-06 06:28:52 as ****
  • Using Dependent Types to Express Modular Structure
    (1986), pp. 277-286.
    by David Macqueen
    posted to dependent-types modularity modules by gkuan on 2008-03-05 17:03:49 as read along with 1 person scis0000001
  • Meta-programming through typeful code representation
    Vol. 38, No. 9. (September 2003), pp. 275-286.
    by Chiyan Chen, Hongwei Xi
    posted to dependent-types singleton-types by eaubin on 2005-02-21 03:20:01 as ***
  • Implementing typeful program transformations
    Vol. 38, No. 10. (October 2003), pp. 20-28.
    by Chiyan Chen, Hongwei Xi
    posted to dependent-types gadt by eaubin on 2005-02-21 03:19:21 as ***
  • Guarded recursive datatype constructors
    Vol. 38, No. 1. (January 2003), pp. 224-235.
    by Hongwei Xi, Chiyan Chen, Gang Chen
    posted to dependent-types gadt by eaubin on 2005-02-21 03:18:58 as *** along with 1 person bec
  • Languages of the Future
    by Tim Sheard
    posted to dependent-types gadt singleton-types staging by eaubin on 2004-12-18 19:20:02 along with 5 people and 1 group twleung bdauvergne mahler tov americovargas Rightscom
  • Cayenne - a Language with Dependent Types
    (1998), pp. 239-250.
    by Lennart Augustsson
    posted to type-systems types dependent-types by croys on 2008-05-04 15:53:44 as ** along with 1 person americovargas
  • notes Refinement types for ML
    SIGPLAN Notices, Vol. 26, No. 6. (June 1991), pp. 268-277.
    by T Freeman, F Pfenning
    posted to dependent-types functional typing by bdauvergne on 2005-11-29 13:47:23 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/dependent-types

    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.