k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] K-based interpreter to K-based compiler? (e.g., by Futamura projections?)

From: Christos Kloukinas <c.kloukinas AT gmail.com>
To: k-user AT lists.cs.illinois.edu
Subject: [[K-user] ] K-based interpreter to K-based compiler? (e.g., by Futamura projections?)
Date: Thu, 30 May 2019 18:55:04 +0100
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=c.kloukinas AT gmail.com; dkim=pass header.d=gmail.com header.s=20161025; dmarc=pass header.from=gmail.com

Hi,

Has anyone ever attempted to obtain a compiler for a language A out of its K-based interpreter?

For example by using Futamura projections?

Any pointers on this would be highly appreciated.

Best,

Chris

[[K-user] ] K-based interpreter to K-based compiler? (e.g., by Futamura projections?), Christos Kloukinas, 05/30/2019