2021-10-25 23:41:05 +00:00
<!DOCTYPE html>
< html >
< head >
< meta charset = "UTF-8" >
2021-11-16 16:11:24 +00:00
< link rel = "stylesheet" type = "text/css" href = "index.css" >
< link rel = "stylesheet" type = "text/css" href = "default.min.css" >
2021-11-14 23:27:59 +00:00
< title > Type-inference for Featherweight Java< / title >
2021-10-25 23:41:05 +00:00
< / head >
< body >
2021-11-14 23:27:59 +00:00
< h1 > Type-inference for Featherweight Java< / h1 >
2021-10-25 23:41:05 +00:00
< div id = "content" >
< div id = "left" >
< textarea id = "fj-input" >
class Test extends Object{}
< / textarea >
<!-- let rec recursive_monster = fun x - >
{ thing = x;
self = recursive_monster x } -->
< / div >
< div id = "right" >
2021-11-16 16:11:24 +00:00
< pre > < div id = "ast-output" > < / div > < / pre >
2021-10-25 23:41:05 +00:00
< / div >
< / div >
< div id = "bottom" >
< div id = "unify-output" > < / div >
< / div >
2021-11-16 16:11:24 +00:00
< script type = "text/javascript" src = "highlight.min.js" > < / script >
2021-10-25 23:41:05 +00:00
< script type = "text/javascript" src = "target/scala-2.13/fj-typeinference-fastopt/main.js" > < / script >
< br / >
2021-11-14 23:27:59 +00:00
< p > Credit: the CSS style sheet of this page was shamelessly stolen from < a href = "https://github.com/LPTK/simple-algebraic-subtyping" > the Simple-sub demo page< / a > .< / p >
2021-10-25 23:41:05 +00:00
< / body >
< / html >
