Cite This Page

Jump to: navigation, search

Bibliographic details for Dependent type

Citation styles for Dependent type

APA style

Dependent type. (2006, March 1). HaskellWiki, . Retrieved 01:58, April 1, 2023 from https://wiki.haskell.org/index.php?title=Dependent_type&oldid=2676.

MLA style

"Dependent type." HaskellWiki, . 1 Mar 2006, 16:23 UTC. 1 Apr 2023, 01:58 <https://wiki.haskell.org/index.php?title=Dependent_type&oldid=2676>.

MHRA style

HaskellWiki contributors, 'Dependent type', HaskellWiki, , 1 March 2006, 16:23 UTC, <https://wiki.haskell.org/index.php?title=Dependent_type&oldid=2676> [accessed 1 April 2023]

Chicago style

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

CBE/CSE style

HaskellWiki contributors. Dependent type [Internet]. HaskellWiki, ; 2006 Mar 1, 16:23 UTC [cited 2023 Apr 1]. Available from: https://wiki.haskell.org/index.php?title=Dependent_type&oldid=2676.

Bluebook style

Dependent type, https://wiki.haskell.org/index.php?title=Dependent_type&oldid=2676 (last visited April 1, 2023).

BibTeX entry

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


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