'Polymorphic type inference' presentation slideshows

Functional Languages and Higher-Order Functions

Leonidas Fegaras. Functional Languages and Higher-Order Functions. First-Class Functions. Values of some type are first-class if They can be assigned to local variables They can be components of data structures Passed as arguments to functions Returned from functions Created at run-time

343 views • 19 slides

Thread-specific Heaps for Multi-threaded Programs

Thread-specific Heaps for Multi-threaded Programs. Bjarne Steensgaard Microsoft Research. GC and Threads. Traditional approaches: Pseudo-concurrency => no concurrency Concurrent GC => synchronization overhead Stop and GC => no concurrency during GC Observations leading to our approach:

310 views • 15 slides

Arthur John Robin Gorell Milner

295 views • 11 slides