Cite This Page

Jump to: navigation, search

Bibliographic details for DependentTypes

Citation styles for DependentTypes

APA style

DependentTypes. (2006, October 31). HaskellWiki, . Retrieved 09:20, March 23, 2023 from https://wiki.haskell.org/index.php?title=DependentTypes&oldid=7656.

MLA style

"DependentTypes." HaskellWiki, . 31 Oct 2006, 01:06 UTC. 23 Mar 2023, 09:20 <https://wiki.haskell.org/index.php?title=DependentTypes&oldid=7656>.

MHRA style

HaskellWiki contributors, 'DependentTypes', HaskellWiki, , 31 October 2006, 01:06 UTC, <https://wiki.haskell.org/index.php?title=DependentTypes&oldid=7656> [accessed 23 March 2023]

Chicago style

HaskellWiki contributors, "DependentTypes," HaskellWiki, , https://wiki.haskell.org/index.php?title=DependentTypes&oldid=7656 (accessed March 23, 2023).

CBE/CSE style

HaskellWiki contributors. DependentTypes [Internet]. HaskellWiki, ; 2006 Oct 31, 01:06 UTC [cited 2023 Mar 23]. Available from: https://wiki.haskell.org/index.php?title=DependentTypes&oldid=7656.

Bluebook style

DependentTypes, https://wiki.haskell.org/index.php?title=DependentTypes&oldid=7656 (last visited March 23, 2023).

BibTeX entry

 @misc{ wiki:xxx,
   author = "HaskellWiki",
   title = "DependentTypes --- HaskellWiki{,} ",
   year = "2006",
   url = "https://wiki.haskell.org/index.php?title=DependentTypes&oldid=7656",
   note = "[Online; accessed 23-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 = "DependentTypes --- HaskellWiki{,} ",
   year = "2006",
   url = "\url{https://wiki.haskell.org/index.php?title=DependentTypes&oldid=7656}",
   note = "[Online; accessed 23-March-2023]"
 }


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