Ignore:
Timestamp:
May 27, 2025, 3:43:37 PM (4 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
7592f42
Parents:
8d049ad
Message:

add citation for dependent types

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/mike_brooks_MMath/uw-ethesis.bib

    r8d049ad rb66a298  
    149149    howpublished= {\url{https://sigcpp.github.io/2020/06/08/return-value-optimization}},
    150150}
     151
     152@misc{DependentType,
     153    contributer = {pabuhr@plg},
     154    title       = {Dependent Type},
     155    author      = {HaskellWik},
     156    year        = 2021,
     157    month       = apr,
     158    howpublished= {\url{https://wiki.haskell.org/Dependent_type}},
     159}
     160
Note: See TracChangeset for help on using the changeset viewer.