<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Scilla: a Smart Contract Intermediate-Level LAnguage · HackerPapers discussions</title><link>https://hackerpaper.kaipfister.de/p/1801.00687/</link><description>Collected HN comments and submissions linking this paper.</description><language>en</language><lastBuildDate>Mon, 02 Nov 2026 11:16:22 GMT</lastBuildDate><atom:link href="https://hackerpaper.kaipfister.de/p/1801.00687/feed.xml" rel="self" type="application/rss+xml" /><item><title>Scilla: a Smart Contract Intermediate-Level LAnguage — HN submission</title><link>https://news.ycombinator.com/item?id=17851008</link><guid isPermaLink="false">urn:hackerpapers:submission:1801.00687:17851008</guid><pubDate>Mon, 27 Aug 2018 12:28:27 GMT</pubDate><description>&lt;p&gt;Scilla: Smart Contract Intermediate-Level Language&lt;/p&gt;&lt;p&gt;&lt;/p&gt;&lt;p&gt;23 points; 3 discussion replies on HN. &lt;a href="https://hackerpaper.kaipfister.de/p/1801.00687/"&gt;Paper and source history&lt;/a&gt;. A submission is not an endorsement.&lt;/p&gt;</description><category>cs.PL</category></item></channel></rss>
