A new blog post by our own @0xo1o1o: Ř - Overview I. First in a series describing R JIT compiler that Oli works in his dissertation. o1o.ch/lab/entry/1309…
.@icfp_conference starts today. Check it out and especially presentations of papers with our members involved:
• Compositional Optimizations for CertiCoq
• How to Evaluate Blame for Gradual Types
• Typed dataspace actors (JFP Presentation)
Today is the thesis proposal of our own @LeifAndersen! The topic is: Extending Programming Languages with Domain-Specific Visual and Interactive Syntax. Slides are available at leif-proposal.surge.sh Latest publication on the topic: dl.acm.org/doi/10.1145/34…