Samsung/trace-typing

Name: trace-typing

Owner: Samsung

Description: Research prototype code for work on trace typing

Created: 2015-09-22 05:48:48.0

Updated: 2017-09-27 05:03:11.0

Pushed: 2015-09-24 21:23:50.0

Homepage: null

Size: 703

Language: JavaScript

GitHub Committers

UserMost Recent Commit# Commits

Other Committers

UserEmailMost Recent Commit# Commits

README

Trace Typing Project

This repository contains two subprojects for typing execution traces: trace-production and trace-typing, each suggestively named.

License

This code is licensed under the Apache 2.0 license; see LICENSE.txt.

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.