Cadenza: Building Fast Functional Languages Fast

location_city Online schedule Jul 24th 10:10 - 10:55 AM place Grand Ball Room 1

In this talk Ed will give live coding introduction to normalization by evaluation. He will then show how Graal and Truffle, on the JVM, can be (ab)used to JIT functional languages. He discussesd why this seems like a promising direction for evaluating dependently typed languages in particular.

 
 

Target Audience

TBA

schedule Submitted 3 months ago