default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday:
Jens Palsberg 2024
- Mayur Naik, Fernando Magno Quintão Pereira, Ben L. Titzer:
Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, JENSFEST 2024, Pasadena, CA, USA, 22 October 2024. ACM 2024, ISBN 979-8-4007-1257-9 - Shuo Ding
, Qirun Zhang:
The Normalization Barrier Revisited. 1-4 - Peter D. Mosses:
Towards Verification of a Denotational Semantics of Inheritance. 5-13 - Özgür Kesim, Christian Grothoff:
Lost and Found in the Fog of Trust. 14-20 - Jack Forden, Alexander Gebhard, Maverick Berner, Dennis Brylow:
MiniJava on RISC-V: A Game of Global Compilers Domination. 21-29 - Fernando Magno Quintão Pereira, Caio Raposo:
The Essence of the Flyweight Design Pattern. 30-38 - John Bender:
Correct Compilation of Concurrent C Code. 39-42 - Bradley Wei Jie Teo, Ben L. Titzer:
Unboxing Virgil ADTs for Fun and Profit. 43-52 - Olivier Danvy:
Nested Summations. 53-58
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-01 00:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
