Difference between revisions of "WG211/M3Swierstra"

From WG 2.11
Jump to: navigation, search
(Created page with "Category:WG211 <HTML> <HEAD> <title>Doaitse Swierstra/title> </head> <body bgcolor="white"> Title: Dynamically Extending Syntax and Semantics <br>Speaker: Doaitse Swierst...")
 
m (1 revision)
(No difference)

Revision as of 11:06, 12 December 2011


Doaitse Swierstra/title> </head> <body bgcolor="white"> Title: Dynamically Extending Syntax and Semantics <br>Speaker: Doaitse Swierstra <p> Slides: [[http://pub.smart-generators.org/M3Swierstra/Dagstuhl211.pdf .pdf]] <p> Abstract:<br> I give an overview of the issues involved in implementing syntax macro mechanisms; we introduce the use of higher order domains, in order to create program transformations of the fly. We discuss some things that went well, and problems we encountered. </BODY> </p> <h2><span class="mw-headline" id="File_Attachments">File Attachments</span></h2> <ul><li><a href="/wg211/images/5/58/Dagstuhl211.pdf" class="internal" title="Dagstuhl211.pdf"> Dagstuhl211.pdf</a></li></ul> <!-- NewPP limit report Cached time: 20250109061650 Cache expiry: 86400 Dynamic content: false CPU time usage: 0.021 seconds Real time usage: 0.335 seconds Preprocessor visited node count: 12/1000000 Preprocessor generated node count: 28/1000000 Post‐expand include size: 0/2097152 bytes Template argument size: 0/2097152 bytes Highest expansion depth: 2/40 Expensive parser function count: 0/100 --> <!-- Transclusion expansion time report (%,ms,calls,template) 100.00% 0.000 1 - -total --> </div><div class="printfooter"> Retrieved from "<a dir="ltr" href="https://wiki.hh.se/wg211/index.php?title=WG211/M3Swierstra&oldid=165">https://wiki.hh.se/wg211/index.php?title=WG211/M3Swierstra&oldid=165</a>"</div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wg211/index.php/Special:Categories" title="Special:Categories">Category</a>: <ul><li><a href="/wg211/index.php/Category:WG211" title="Category:WG211">WG211</a></li></ul></div></div> <!-- end content --> <div class="visualClear"></div> </div> </div> </div> <div id="column-one"> <h2>Navigation menu</h2> <div id="p-cactions" class="portlet" role="navigation"> <h3>Views</h3> <div class="pBody"> <ul> <li id="ca-nstab-main" class="selected"><a href="/wg211/index.php/WG211/M3Swierstra" title="View the content page [c]" accesskey="c">Page</a></li> <li id="ca-talk" class="new"><a href="/wg211/index.php?title=Talk:WG211/M3Swierstra&action=edit&redlink=1" rel="discussion" title="Discussion about the content page [t]" accesskey="t">Discussion</a></li> <li id="ca-viewsource"><a href="/wg211/index.php?title=WG211/M3Swierstra&action=edit&oldid=165" title="This page is protected. You can view its source [e]" accesskey="e">View source</a></li> <li id="ca-history"><a href="/wg211/index.php?title=WG211/M3Swierstra&action=history" title="Past revisions of this page [h]" accesskey="h">History</a></li> </ul> </div> </div> <div class="portlet" id="p-personal" role="navigation"> <h3>Personal tools</h3> <div class="pBody"> <ul> <li id="pt-login"><a href="/wg211/index.php?title=Special:UserLogin&returnto=WG211%2FM3Swierstra&returntoquery=diff%3Dprev%26oldid%3D165" title="You are encouraged to log in; however, it is not mandatory [o]" accesskey="o">Log in</a></li> </ul> </div> </div> <div class="portlet" id="p-logo" role="banner"> <a href="/wg211/index.php/Main_Page" class="mw-wiki-logo" title="Visit the main page"></a> </div> <div class="generated-sidebar portlet" id="p-navigation" role="navigation"> <h3>Navigation</h3> <div class='pBody'> <ul> <li id="n-mainpage-description"><a href="/wg211/index.php/Main_Page" title="Visit the main page [z]" accesskey="z">Main page</a></li> <li id="n-recentchanges"><a href="/wg211/index.php/Special:RecentChanges" title="A list of recent changes in the wiki [r]" accesskey="r">Recent changes</a></li> <li id="n-randompage"><a href="/wg211/index.php/Special:Random" title="Load a random page [x]" accesskey="x">Random page</a></li> <li id="n-help"><a href="https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents" title="The place to find out">Help</a></li> </ul> </div> </div> <div id="p-search" class="portlet" role="search"> <h3><label for="searchInput">Search</label></h3> <div id="searchBody" class="pBody"> <form action="/wg211/index.php" id="searchform"> <input type='hidden' name="title" value="Special:Search"/> <input type="search" name="search" placeholder="Search WG 2.11" title="Search WG 2.11 [f]" accesskey="f" id="searchInput"/> <input type="submit" name="go" value="Go" title="Go to a page with this exact name if it exists" id="searchGoButton" class="searchButton"/>  <input type="submit" name="fulltext" value="Search" title="Search the pages for this text" id="mw-searchButton" class="searchButton"/> </form> </div> </div> <div class="portlet" id="p-tb" role="navigation"> <h3>Tools</h3> <div class="pBody"> <ul> <li id="t-whatlinkshere"><a href="/wg211/index.php/Special:WhatLinksHere/WG211/M3Swierstra" title="A list of all wiki pages that link here [j]" accesskey="j">What links here</a></li> <li id="t-recentchangeslinked"><a href="/wg211/index.php/Special:RecentChangesLinked/WG211/M3Swierstra" rel="nofollow" title="Recent changes in pages linked from this page [k]" accesskey="k">Related changes</a></li> <li id="t-specialpages"><a href="/wg211/index.php/Special:SpecialPages" title="A list of all special pages [q]" accesskey="q">Special pages</a></li> <li id="t-print"><a href="/wg211/index.php?title=WG211/M3Swierstra&diff=prev&oldid=165&printable=yes" rel="alternate" title="Printable version of this page [p]" accesskey="p">Printable version</a></li> <li id="t-permalink"><a href="/wg211/index.php?title=WG211/M3Swierstra&oldid=165" title="Permanent link to this revision of the page">Permanent link</a></li> <li id="t-info"><a href="/wg211/index.php?title=WG211/M3Swierstra&action=info" title="More information about this page">Page information</a></li> <li id="t-cite"><a href="/wg211/index.php?title=Special:CiteThisPage&page=WG211%2FM3Swierstra&id=165" title="Information on how to cite this page">Cite this page</a></li> </ul> </div> </div> </div><!-- end of the left (by default at least) column --> <div class="visualClear"></div> <div id="footer" role="contentinfo"> <div id="f-poweredbyico"> <a href="//www.mediawiki.org/"><img src="/wg211/resources/assets/poweredby_mediawiki_88x31.png" alt="Powered by MediaWiki" srcset="/wg211/resources/assets/poweredby_mediawiki_132x47.png 1.5x, /wg211/resources/assets/poweredby_mediawiki_176x62.png 2x" width="88" height="31"/></a> </div> <ul id="f-list"> <li id="privacy"><a href="/wg211/index.php/WG_2.11:Privacy_policy" title="WG 2.11:Privacy policy">Privacy policy</a></li> <li id="about"><a href="/wg211/index.php/WG_2.11:About" title="WG 2.11:About">About WG 2.11</a></li> <li id="disclaimer"><a href="/wg211/index.php/WG_2.11:General_disclaimer" title="WG 2.11:General disclaimer">Disclaimers</a></li> </ul> </div> </div> <script>(window.RLQ=window.RLQ||[]).push(function(){mw.loader.load(["site","mediawiki.user","mediawiki.hidpi","mediawiki.page.ready","mediawiki.searchSuggest"]);});</script><script>(window.RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgBackendResponseTime":2830});});</script></body></html>