Revision as of 00:51, 6 June 2025 edit Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 473,516 edits →History: \| Alter: title, template type. Add: isbn, chapter. \| Use this tool. Report bugs. \| #UCB_Gadget ← Previous edit		Revision as of 00:53, 6 June 2025 edit undo Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 473,516 edits ce Next edit →
Line 120: * Tagless-final<ref name="Carette et al., Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages">{{cite journal\|last1=Carette\|first1=Jacques\|last2=Kiselyov\|first2=Oleg\|last3=Chung-chieh\|first3=Shan\|title=Finally Tagless, Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languages\|journal=J. Funct. Program.\|date=2009\|volume=19 \|issue=5 \|pages=509–543 \|doi=10.1017/S0956796809007205 \|s2cid=6054319 \|url=http://okmij.org/ftp/tagless-final/JFP.pdf}}</ref> / Object algebras<ref name="Oliveira & Cook, Object Algebras">{{cite journal\|last1=Oliveira\|first1=Bruno C. d. S.\|last2=Cook\|first2=William R.\|title=Extensibility for the Masses: Practical Extensibility with Object Algebras\|journal=Ecoop '12\|date=2012\|url=http://www.cs.utexas.edu/~wcook/Drafts/2012/ecoop2012.pdf}}</ref> * Polymorphic Variants<ref name="Code Reuse Through Polymorphic Variants">{{cite ~~journal~~book\|last1=Garrigue\|first1=Jacques\|~~title~~chapter=Code Reuse Through Polymorphic Variants\|chapter-url=https://www.math.nagoya-u.ac.jp/~garrigue/papers/variant-reuse.pdf\|title=Workshop on Foundations of Software Engineering. Sasaguri, Japan, November 2000 \|citeseerx=10.1.1.128.7169\|year=2000}}</ref> == Example ==

Expression problem: Difference between revisions