complogic.cs.mcgill.ca/beluga
Preview meta tags from the complogic.cs.mcgill.ca website.
Linked Hostnames
9- 4 links toopam.ocaml.org
- 3 links tocs.mcgill.ca
- 3 links togithub.com
- 1 link toihp2014.pps.univ-paris-diderot.fr
- 1 link toocaml.org
- 1 link topeople.csail.mit.edu
- 1 link towww.cs.mcgill.ca
- 1 link towww.gnu.org
General Meta Tags
5- titleBeluga
- charsetutf-8
- X-UA-CompatibleIE=edge
- description
- author
Link Tags
3- shortcut icon../../assets/ico/favicon.ico
- stylesheetcss/bootstrap.css
- stylesheetcss/beli-styles.css
Links
16- http://cs.mcgill.ca/~bpientka/talks/beluga-lfmtp12-updated.pdf
- http://cs.mcgill.ca/~bpientka/talks/beluga-logrel.pdf
- http://cs.mcgill.ca/~bpientka/talks/beluga-update-May14.pdf
- http://ocaml.org
- http://opam.ocaml.org/packages/ocamlfind/ocamlfind.1.5.1