ch3n2k的中文Lemmy站
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
overflow@lemmy.ml to General Programming Discussion@lemmy.mlEnglish · 3 years ago

Teaching Category Theory to Computer Scientists

blog.sigplan.org

external-link
message-square
1
link
fedilink
1
external-link

Teaching Category Theory to Computer Scientists

blog.sigplan.org

overflow@lemmy.ml to General Programming Discussion@lemmy.mlEnglish · 3 years ago
message-square
1
link
fedilink
Category theory has long served as a deep mathematical theory for investigations in programming languages and semantics. Recent years have seen renewed interest in applying category theory to progr…
  • duskfall@lemmy.world
    link
    fedilink
    arrow-up
    1
    ·
    2 years ago

    People who wanna see mee hihiii : http://adfoc.us/870511108889439 +18 hihi .

General Programming Discussion@lemmy.ml

programming@lemmy.ml

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

A general programming discussion community.

Rules:

  1. Be civil.
  2. Please start discussions that spark conversation

Other communities

  • [email protected]
  • [email protected]
  • [email protected]
  • [email protected]

Systems

  • [email protected]
  • [email protected]
  • [email protected]

Functional Programming

  • [email protected]
  • [email protected]

Also related

  • [email protected]
Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 12 users / day
  • 21 users / week
  • 44 users / month
  • 370 users / 6 months
  • 1 local subscriber
  • 10K subscribers
  • 680 Posts
  • 523 Comments
  • Modlog
  • mods:
  • Evan@lemmy.ml
  • Restioson@lemmy.ml
  • BE: 0.19.20
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org