Cite This Page

Jump to: navigation, search

Bibliographic details for Dependent type

Citation styles for Dependent type

APA style

Dependent type. (2016, July 13). HaskellWiki, . Retrieved 13:06, March 27, 2023 from https://wiki.haskell.org/index.php?title=Dependent_type&oldid=60895.

MLA style

"Dependent type." HaskellWiki, . 13 Jul 2016, 03:20 UTC. 27 Mar 2023, 13:06 <https://wiki.haskell.org/index.php?title=Dependent_type&oldid=60895>.

MHRA style

HaskellWiki contributors, 'Dependent type', HaskellWiki, , 13 July 2016, 03:20 UTC, <https://wiki.haskell.org/index.php?title=Dependent_type&oldid=60895> [accessed 27 March 2023]

Chicago style

HaskellWiki contributors, "Dependent type," HaskellWiki, , https://wiki.haskell.org/index.php?title=Dependent_type&oldid=60895 (accessed March 27, 2023).

CBE/CSE style

HaskellWiki contributors. Dependent type [Internet]. HaskellWiki, ; 2016 Jul 13, 03:20 UTC [cited 2023 Mar 27]. Available from: https://wiki.haskell.org/index.php?title=Dependent_type&oldid=60895.

Bluebook style

Dependent type, https://wiki.haskell.org/index.php?title=Dependent_type&oldid=60895 (last visited March 27, 2023).

BibTeX entry

 @misc{ wiki:xxx,
   author = "HaskellWiki",
   title = "Dependent type --- HaskellWiki{,} ",
   year = "2016",
   url = "https://wiki.haskell.org/index.php?title=Dependent_type&oldid=60895",
   note = "[Online; accessed 27-March-2023]"
 }

When using the LaTeX package url (\usepackage{url} somewhere in the preamble) which tends to give much more nicely formatted web addresses, the following may be preferred: 

 @misc{ wiki:xxx,
   author = "HaskellWiki",
   title = "Dependent type --- HaskellWiki{,} ",
   year = "2016",
   url = "\url{https://wiki.haskell.org/index.php?title=Dependent_type&oldid=60895}",
   note = "[Online; accessed 27-March-2023]"
 }


Retrieved from "https://wiki.haskell.org/Special:CiteThisPage"