- G. Cousineau and Gérard Huet, The CAML primer. Technical Report RT-0122, INRIA, September 1990, https://hal.inria.fr/inria-00070045/file/RT-0122.pdf
- Michael Gordon and Robin Milner and Christopher Wadsworth. Edinburgh LCF, Vol. 78 of LNCS. 1979. http://www.springer.com/gp/book/9783540097242
- Pierre Weis, Maria Virginia Aponte, Alain Laville, Michele Mauny, and Ascander Suarez. The CAML reference manual. Research Report RT-0121, INRIA, 1990. Project Formel https://hal.inria.fr/inria-00070046/file/RT-0121.pdf
OOHASHI Daichi leque
leque
/ tuki-2-263.us.eps
Created
March 6, 2019 00:15
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| %!PS-Adobe-3.0 EPSF-3.0 | |
| %%BoundingBox: 0 0 300 800 | |
| gsave | |
| /sheetwidth 595.276 def | |
| % landscape | |
| sheetwidth 0 translate | |
| 90 rotate | |
| /cm { 28.3 mul } def |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /cm { 28.3 mul } def | |
| /unit { cm } def | |
| /fontsize 0.7 unit def | |
| /Times-Roman findfont fontsize scalefont setfont | |
| /normalized-degree { | |
| 360 mod 360 add 360 mod | |
| } bind def |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* from `An operational foundation for delimited continuations in the CPS hierarchy'. | |
| https://lmcs.episciences.org/2269/pdf | |
| *) | |
| (* a language *) | |
| type exp = | |
| | Value of int | |
| | Add of exp * exp | |
| type value = int |
leque
/ gist:a755b2e6c96f899627e702118f91180f
Last active
September 8, 2018 16:06
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| javascript:(function(){var t=document.createElement('textarea');document.body.appendChild(t);t.textContent=document.title+'\n'+document.URL;t.contentEditable=true;t.readOnly=false;t.setSelectionRange(0,65536);document.execCommand('copy');t.parentNode.removeChild(t);})(); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| grammar scheme; | |
| // fragments | |
| fragment Digit : [0-9]; | |
| fragment HexDigit : Digit | [a-fA-F]; | |
| fragment ExplicitSign : [-+]; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| open Rresult | |
| let f : string -> (string, [> `Empty]) result = | |
| fun s -> | |
| if String.length s = 0 then | |
| Error `Empty | |
| else | |
| Ok s | |
| let g : string -> ('a, [> `Msg of string]) result = |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // module dependency of SATySFi at the commit https://github.com/leque/SATySFi/tree/32320e05f53e43759fab8d73ed87b05b7550f806 | |
| digraph G { | |
| "Alist"; | |
| "Assoc"; | |
| "Base85"; | |
| "Bytecomp"; | |
| "Bytecomp" -> "Compiler"; | |
| "Bytecomp" -> "Ir_"; | |
| "Bytecomp" -> "LengthInterface"; | |
| "Bytecomp" -> "MyUtil"; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| PKG pumping |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?xml version='1.0' encoding='utf-8'?> | |
| <!DOCTYPE html> | |
| <?xml version='1.0'?><html xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><head><title>SATySFi syntax memo (parser.mly 2018-02-21)</title><style type="text/css"> | |
| .bnf-lhs { | |
| text-align : right; | |
| vertical-align : baseline; | |
| } | |
| .bnf-eq { | |
| text-align : center; |