Type Systems for Memory Safety

borretti.me

Type Systems for Memory Safety

borretti.me

Capital@pawb.social to Furry Programmers@pawb.socialEnglish · 2 years ago

A survey of type systems for memory safety.

An article going over different ways to achieve memory safety through a programming language’s type system.

You must log in or # to comment.

Chat

Furry Programmers@pawb.social

furprogs@pawb.social

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: !furprogs@pawb.social

English-language general programmers community

Please treat pawb.social’s rules as though they were the rules of this community, even if you’re posting from another instance!

Visibility: Public

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

8 users / day
8 users / week
8 users / month
8 users / 6 months
0 local subscribers
392 subscribers
33 Posts
0 Comments
Modlog

mods:
mayoaddict@pawb.social