Cite This Page

From HandWiki

Bibliographic details for Comparison of dependently typed programming languages

Citation styles for Comparison of dependently typed programming languages

APA style

Comparison of dependently typed programming languages. (2021, March 8). HandWiki, . Retrieved 18:45, July 21, 2024 from https://handwiki.org/wiki/index.php?title=Comparison_of_dependently_typed_programming_languages&oldid=113997.

MLA style

"Comparison of dependently typed programming languages." HandWiki, . 8 Mar 2021, 03:26 UTC. 21 Jul 2024, 18:45 <https://handwiki.org/wiki/index.php?title=Comparison_of_dependently_typed_programming_languages&oldid=113997>.

MHRA style

HandWiki contributors, 'Comparison of dependently typed programming languages', HandWiki, , 8 March 2021, 03:26 UTC, <https://handwiki.org/wiki/index.php?title=Comparison_of_dependently_typed_programming_languages&oldid=113997> [accessed 21 July 2024]

Chicago style

HandWiki contributors, "Comparison of dependently typed programming languages," HandWiki, , https://handwiki.org/wiki/index.php?title=Comparison_of_dependently_typed_programming_languages&oldid=113997 (accessed July 21, 2024).

CBE/CSE style

HandWiki contributors. Comparison of dependently typed programming languages [Internet]. HandWiki, ; 2021 Mar 8, 03:26 UTC [cited 2024 Jul 21]. Available from: https://handwiki.org/wiki/index.php?title=Comparison_of_dependently_typed_programming_languages&oldid=113997.

Bluebook style

Comparison of dependently typed programming languages, https://handwiki.org/wiki/index.php?title=Comparison_of_dependently_typed_programming_languages&oldid=113997 (last visited July 21, 2024).

BibTeX entry

 @misc{ wiki:xxx,
   author = "HandWiki",
   title = "Comparison of dependently typed programming languages --- HandWiki{,} ",
   year = "2021",
   url = "https://handwiki.org/wiki/index.php?title=Comparison_of_dependently_typed_programming_languages&oldid=113997",
   note = "[Online; accessed 21-July-2024]"
 }

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 = "HandWiki",
   title = "Comparison of dependently typed programming languages --- HandWiki{,} ",
   year = "2021",
   url = "\url{https://handwiki.org/wiki/index.php?title=Comparison_of_dependently_typed_programming_languages&oldid=113997}",
   note = "[Online; accessed 21-July-2024]"
 }


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