Cite This Page

Bibliographic details for Dependent type

Citation styles for Dependent type

APA style

Dependent type. (2021, April 19). HaskellWiki. Retrieved 05:03, March 18, 2025 from https://wiki.haskell.org/index.php?title=Dependent_type&oldid=64260.

MLA style

"Dependent type." HaskellWiki. 19 Apr 2021, 16:00 UTC. 18 Mar 2025, 05:03 <https://wiki.haskell.org/index.php?title=Dependent_type&oldid=64260>.

MHRA style

HaskellWiki contributors, 'Dependent type', HaskellWiki, 19 April 2021, 16:00 UTC, <https://wiki.haskell.org/index.php?title=Dependent_type&oldid=64260> [accessed 18 March 2025]

Chicago style

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

CBE/CSE style

HaskellWiki contributors. Dependent type [Internet]. HaskellWiki; 2021 Apr 19, 16:00 UTC [cited 2025 Mar 18]. Available from: https://wiki.haskell.org/index.php?title=Dependent_type&oldid=64260.

Bluebook style

Dependent type, https://wiki.haskell.org/index.php?title=Dependent_type&oldid=64260 (last visited March 18, 2025).

BibTeX entry

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

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 = "2021",
   url = "\url{https://wiki.haskell.org/index.php?title=Dependent_type&oldid=64260}",
   note = "[Online; accessed 18-March-2025]"
 }


Retrieved from "https://wiki.haskell.org/index.php?title=Special:CiteThisPage"