Capital@pawb.social to Furry Programmers@pawb.socialEnglish · 1 year ago

Type Systems for Memory Safety

0

cross-posted to:
programming_languages@programming.dev

1

Type Systems for Memory Safety

Capital@pawb.social to Furry Programmers@pawb.socialEnglish · 1 year ago

0

cross-posted to:
programming_languages@programming.dev

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 register to comment.

Chat

Furry Programmers@pawb.social

furprogs@pawb.social

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.

1 user / day
1 user / week
4 users / month
4 users / 6 months
0 local subscribers
0 subscribers
32 Posts
0 Comments
Modlog

mods:
mayoaddict@pawb.social