Browsing by Subject "term-rewriting"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    An implementation of the lambda calculus in Silver
    (2020-04-06) Kramer, Lucas; Van Wyk, Eric; evw@umn.edu; Van Wyk, Eric; University of Minnesota, Department of Computer Science and Engineering, Minnesota Extensible Language Tools Group
    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.