Lemmit
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Lemmit.Online botMB to Programming LanguagesEnglish • 7 months ago

Verified compilation of a purely functional language to a realistic machine semantics (PhD thesis)

kar.kent.ac.uk

message-square
0
1
external-link

Verified compilation of a purely functional language to a realistic machine semantics (PhD thesis)

kar.kent.ac.uk

Lemmit.Online botMB to Programming LanguagesEnglish • 7 months ago
message-square
0
This is an automated archive made by the Lemmit Bot.

The original was posted on /r/programminglanguages by /u/gallais on 2024-03-26 17:49:23.

alert-triangle
You must log in or register to comment.

Programming Languages

!programminglanguages
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]

This subreddit is dedicated to the theory, design and implementation of programming languages.

  • 0 users / day
  • 0 users / week
  • 0 users / month
  • 0 users / 6 months
  • 43 subscribers
  • 1.08K Posts
  • 0 Comments
  • Modlog
  • mods:
  • Lemmit.Online bot
  • BE: 0.18.5
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org