mirror of
https://github.com/pdf2htmlEX/pdf2htmlEX.git
synced 2024-10-06 12:01:39 +00:00
2 lines
578 KiB
HTML
2 lines
578 KiB
HTML
|
<!DOCTYPE html>
|
|||
|
|
<html><head><meta charset="utf-8"><style type="text/css">#pdf-main { font-family: sans-serif; position:absolute; top:0; left:0; bottom:0; right:0; overflow:auto; background-color:grey;}#pdf-main .p { position:relative; margin:13px auto; background-color:white; overflow:hidden; display:none;}.p .t { position:absolute; top:0; left:0; bottom:0; right:0; transform-origin:0% 100%; -ms-transform-origin:0% 100%; -moz-transform-origin:0% 100%; -webkit-transform-origin:0% 100%; -o-transform-origin:0% 100%;}.t .l { position:absolute; white-space:pre; transform-origin:0% 100%; -ms-transform-origin:0% 100%; -moz-transform-origin:0% 100%; -webkit-transform-origin:0% 100%; -o-transform-origin:0% 100%;}.l > span{ display:inline-block;}::selection{ background: rgba(168,209,255,0.5);}::-moz-selection{ background: rgba(168,209,255,0.5);}</style><link rel="stylesheet" type="text/css" href="all.css" /><script type="text/javascript">function show_pages(){ var pages = document.getElementById('pdf-main').childNodes; var idx = 0; var f = function(){ if (idx < pages.length) { pages[idx].style.display='block'; ++idx; setTimeout(f,100); } }; f();};</script></head><body onload="show_pages();"><div id="pdf-main"><div id="page-1" class="p" style="width:612px;height:792px;"><div class="t"><div class="l f1 s1 t0" style="top:91.3294px;left:80.5159px;" data-x="80.5159" data-y="700.671">T</div><div class="l f1 s1 t0" style="top:91.3294px;left:91.1501px;" data-x="91.1501" data-y="700.671">race-based<span class="w0"> </span>Just-in-Time<span class="w0"> </span>T</div><div class="l f1 s1 t0" style="top:91.3294px;left:291.459px;" data-x="291.459" data-y="700.671">ype<span class="w0"> </span>Specialization<span class="w0"> </span>for<span class="w0"> </span>Dynamic</div><div class="l f1 s1 t0" style="top:111.255px;left:263.706px;" data-x="263.706" data-y="680.745">Languages</div><div class="l f2 s2 t0" style="top:147.12px;left:120.322px;" data-x="120.322" data-y="644.88">Andreas<span class="w1"> </span>Gal</div><div class="l f3 s3 t0" style="top:143.161px;left:175.401px;" data-x="175.401" data-y="648.839">∗</div><div class="l f4 s3 t0" style="top:143.161px;left:180.134px;" data-x="180.134" data-y="648.839">+</div><div class="l f2 s2 t0" style="top:147.12px;left:187.218px;" data-x="187.218" data-y="644.88">,<span class="w1"> </span>Brendan<span class="w1"> </span>Eich</div><div class="l f3 s3 t0" style="top:143.161px;left:252.653px;" data-x="252.653" data-y="648.839">∗</div><div class="l f2 s2 t0" style="top:147.12px;left:257.386px;" data-x="257.386" data-y="644.88">,<span class="w1"> </span>Mike<span class="w1"> </span>Shaver</div><div class="l f3 s3 t0" style="top:143.161px;left:318.678px;" data-x="318.678" data-y="648.839">∗</div><div class="l f2 s2 t0" style="top:147.12px;left:323.411px;" data-x="323.411" data-y="644.88">,<span class="w1"> </span>David<span class="w1"> </span>Anderson</div><div class="l f3 s3 t0" style="top:143.161px;left:400.802px;" data-x="400.802" data-y="648.839">∗</div><div class="l f2 s2 t0" style="top:147.12px;left:405.534px;" data-x="405.534" data-y="644.88">,<span class="w1"> </span>David<span class="w1"> </span>Mandelin</div><div class="l f3 s3 t0" style="top:143.161px;left:482.323px;" data-x="482.323" data-y="648.839">∗</div><div class="l f2 s2 t0" style="top:147.12px;left:487.055px;" data-x="487.055" data-y="644.88">,</div><div class="l f2 s2 t0" style="top:160.072px;left:93.5416px;" data-x="93.5416" data-y="631.928">Mohammad<span class="w1"> </span>R.<span class="w1"> </span>Haghighat</div><div class="l f4 s3 t0" style="top:156.113px;left:207.689px;" data-x="207.689" data-y="635.887">$</div><div class="l f2 s2 t0" style="top:160.072px;left:212.421px;" data-x="212.421" data-y="631.928">,<span class="w1"> </span>Blake<span class="w1"> </span>Kaplan</div><div class="l f3 s3 t0" style="top:156.113px;left:277.746px;" data-x="277.746" data-y="635.887">∗</div><div class="l f2 s2 t0" style="top:160.072px;left:282.479px;" data-x="282.479" data-y="631.928">,<span class="w1"> </spa
|