elefthei.github.io/coq/c++/2018/10/28/adts.html

Preview meta tags from the elefthei.github.io website.

Linked Hostnames

6

Search Engine Appearance

Google

https://elefthei.github.io/coq/c++/2018/10/28/adts.html

Algebraic datatypes in C++17

In functional languages, algebraic types are an important part of the user experience and the most complete and minimal way to define data structures. In the Coq proof assistant, the polymorphic list definition is inductively defined, here is what it looks like.



Bing

Algebraic datatypes in C++17

https://elefthei.github.io/coq/c++/2018/10/28/adts.html

In functional languages, algebraic types are an important part of the user experience and the most complete and minimal way to define data structures. In the Coq proof assistant, the polymorphic list definition is inductively defined, here is what it looks like.



DuckDuckGo

https://elefthei.github.io/coq/c++/2018/10/28/adts.html

Algebraic datatypes in C++17

In functional languages, algebraic types are an important part of the user experience and the most complete and minimal way to define data structures. In the Coq proof assistant, the polymorphic list definition is inductively defined, here is what it looks like.

  • General Meta Tags

    10
    • title
      Algebraic datatypes in C++17
    • title
      Algebraic datatypes in C++17 | Eleftherios “Lef” Ioannidis
    • charset
      UTF-8
    • viewport
      width=device-width, initial-scale=1.0
    • X-UA-Compatible
      ie=edge

  • Open Graph Meta Tags

    5
    • og:title
      Algebraic datatypes in C++17
    • US country flagog:locale
      en_US
    • og:description
      In functional languages, algebraic types are an important part of the user experience and the most complete and minimal way to define data structures. In the Coq proof assistant, the polymorphic list definition is inductively defined, here is what it looks like.
    • og:site_name
      Eleftherios “Lef” Ioannidis
    • og:type
      article

  • Twitter Meta Tags

    1
    • twitter:card
      summary

  • Link Tags

    2
    • stylesheet
      https://fonts.googleapis.com/css?family=Merriweather:300|Raleway:400,700
    • stylesheet
      /assets/css/style.css

Emails

1

Links

10