Try Out Oneboxed URL

steinwaywhw · September 1, 2016, 1:41pm

gist.github.com

https://gist.github.com/steinwaywhw/259749631ecd4fac89dc

reg-exp-fn.sml.md

I pasted it here because it is hard to find for me. It is publicly available at [here](https://smlnj-gforge.cs.uchicago.edu/scm/viewvc.php/*checkout*/trunk/ml-ulex/reg-exp.sml?revision=141&root=ml-lpt). The total order and canonical form is clearly presented here over the original ml-ulex paper. 


```ml
(* reg-exp-fn.sml
 *
 * COPYRIGHT (c) 2005 
 * John Reppy (http://www.cs.uchicago.edu/~jhr)
 * Aaron Turon (adrassi@gmail.com)
 * All rights reserved.

This file has been truncated. show original

https://steinwaywhw.github.io/ats-tutorials/

steinwaywhw · September 1, 2016, 1:44pm

http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/HTMLTOC/c96.html#expressions_and_values

steinwaywhw · September 2, 2016, 1:42pm

This topic was automatically closed after 24 hours. New replies are no longer allowed.

Topic		Replies	Views
Template and Effect Google Group	2	749	August 12, 2016
The template is expected to be fully applied but it is not Google Group	1	258	February 17, 2014
Generic Templates Google Group	2	353	November 6, 2015
Getting familiar with dependent types. (This is not a question, but a tutorial) Google Group	2	274	February 17, 2013
Testing parametric code with print statements Google Group	3	312	January 14, 2014

Try Out Oneboxed URL

Related Topics