An Introduction to Iris: Higher-Order Concurrent Separation Logic
Birkedal
Lars
Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages.
République Française
Liberté
Égalité
Fraternité
Explorer Comprendre Partager
Mon compte
S'inscrire
Créer une chaîne
Mon compte
Vous devez être connecté
Pas encore inscrit ?
- Abonnez-vous à vos chaînes, disciplines et intervenants préférés
- Créez, gérez et partagez vos playlists
- Sauvegardez vos vidéos, podcasts, collections et dossiers favoris