Compiling with Continuations and LLVM 1. Kavon Farvardin

Source URL: manticore.cs.uchicago.edu

• Software engineering
• Computer programming
• Computing
• Programming language implementation
• Object-oriented programming languages
• Functional languages
• Compiler construction
• High-level programming languages
• LLVM
• D
• Garbage collection
• Continuation

Partial Aborts for Transactions via First-Class Continuations Matthew Le Matthew Fluet Rochester Institute of Technology, USA

Source URL: manticore.cs.uchicago.edu

PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet

Source URL: manticore.cs.uchicago.edu

• Software engineering
• Computer programming
• Compiler optimizations
• Computing
• Inline expansion
• Optimizing compiler
• Data-flow analysis
• Scope
• Standard ML
• Functional programming
• Directed acyclic graph
• Static single assignment form

THE UNIVERSITY OF CHICAGO The Manticore runtime model A MASTER’S PAPER SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES

Source URL: manticore.cs.uchicago.edu

Specialization of CML message-passing primitives John Reppy Yingqi Xiao University of Chicago

Source URL: manticore.cs.uchicago.edu

Implicitly-threaded Parallelism in Manticore Matthew Fluet Toyota Technological Institute at Chicago Abstract

Source URL: manticore.cs.uchicago.edu

Status Report: The Manticore Project http://manticore.cs.uchicago.edu Matthew Fluet Toyota Technological Institute at Chicago

Source URL: manticore.cs.uchicago.edu

Arity Raising in Manticore Lars Bergstrom and John Reppy University of Chicago, Chicago IL 60637, USA {larsberg,jhr}@cs.uchicago.edu Abstract. Compilers for polymorphic languages are required to treat values in programs

Source URL: manticore.cs.uchicago.edu

PDF Document

Source URL: manticore.cs.uchicago.edu

PDF Document

Source URL: manticore.cs.uchicago.edu