Cite This Page

Jump to: navigation, search

Bibliographic details for Dependent types

Citation styles for Dependent types

APA style

Dependent types. (2006, March 25). HaskellWiki, . Retrieved 07:04, March 23, 2023 from https://wiki.haskell.org/index.php?title=Dependent_types&oldid=3292.

MLA style

"Dependent types." HaskellWiki, . 25 Mar 2006, 19:53 UTC. 23 Mar 2023, 07:04 <https://wiki.haskell.org/index.php?title=Dependent_types&oldid=3292>.

MHRA style

HaskellWiki contributors, 'Dependent types', HaskellWiki, , 25 March 2006, 19:53 UTC, <https://wiki.haskell.org/index.php?title=Dependent_types&oldid=3292> [accessed 23 March 2023]

Chicago style

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

CBE/CSE style

HaskellWiki contributors. Dependent types [Internet]. HaskellWiki, ; 2006 Mar 25, 19:53 UTC [cited 2023 Mar 23]. Available from: https://wiki.haskell.org/index.php?title=Dependent_types&oldid=3292.

Bluebook style

Dependent types, https://wiki.haskell.org/index.php?title=Dependent_types&oldid=3292 (last visited March 23, 2023).

BibTeX entry

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


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