Skip to main content

Now showing items 1-5 of 11

A Silver implementation of Caml Light

Michaelson, Dawn; Van Wyk, Eric (2020-10)

An implementation of the lambda calculus in Silver

Kramer, Lucas; Van Wyk, Eric (2020-04-06)
This repository contains an implementation of the lambda calculus that uses the reflection-based term-rewriting extension to Silver. There may be newer, unarchived versions of this software at http://melt.cs.umn.edu.

Parallel nondeterministic programming as a language extension in ableC

Kramer, Lucas; Van Wyk, Eric (2019-09-11)
This is an ableC language extension for parallel nondeterministic programming. It includes the Silver sources of the extension and a number of applications build using it. There may be newer, unarchived versions of this ...

A Silver implementation of a subset of MetaOCaml

Kramer, Lucas; Van Wyk, Eric (2019-09-06)
This is an implementation of a subset of MetaOCaml in Silver. It makes use of reflection in Silver in the MetaOCaml interpreter.

Silver-ableC: a Silver extension for writing ableC specifications

Kramer, Lucas; Van Wyk, Eric (2019-09-05)
Silver-ableC is an extension to the Silver attribute grammar system for writing ableC language specifications. It allows language developers to specify C language constructs using the concrete syntax of C instead of the ...