Zerny, Ian On graph rewriting, reduction, and evaluation in the presence of cycles. (English) Zbl 1425.68175 High.-Order Symb. Comput. 26, No. 1-4, 63-84 (2013). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{I. Zerny}, High.-Order Symb. Comput. 26, No. 1--4, 63--84 (2013; Zbl 1425.68175) Full Text: DOI
Simmons, Robert J.; Pfenning, Frank Logical approximation for program analysis. (English) Zbl 1256.68045 High.-Order Symb. Comput. 24, No. 1-2, 41-80 (2011). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{R. J. Simmons} and \textit{F. Pfenning}, High.-Order Symb. Comput. 24, No. 1--2, 41--80 (2011; Zbl 1256.68045) Full Text: DOI Link
Stump, Aaron Directly reflective meta-programming. (English) Zbl 1183.68164 High.-Order Symb. Comput. 22, No. 2, 115-144 (2009). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{A. Stump}, High.-Order Symb. Comput. 22, No. 2, 115--144 (2010; Zbl 1183.68164) Full Text: DOI Link
Dargaye, Zaynah; Leroy, Xavier A verified framework for higher-order uncurrying optimizations. (English) Zbl 1209.68106 High.-Order Symb. Comput. 22, No. 3, 199-231 (2009). MSC: 68N18 PDFBibTeX XMLCite \textit{Z. Dargaye} and \textit{X. Leroy}, High.-Order Symb. Comput. 22, No. 3, 199--231 (2009; Zbl 1209.68106) Full Text: DOI
Crégut, Pierre Strongly reducing variants of the Krivine abstract machine. (English) Zbl 1130.68052 High.-Order Symb. Comput. 20, No. 3, 209-230 (2007). MSC: 68Q05 03B40 PDFBibTeX XMLCite \textit{P. Crégut}, High.-Order Symb. Comput. 20, No. 3, 209--230 (2007; Zbl 1130.68052) Full Text: DOI
Friedman, Daniel P.; Ghuloum, Abdulaziz; Siek, Jeremy G.; Winebarger, Onnie Lynn Improving the lazy Krivine machine. (English) Zbl 1130.68055 High.-Order Symb. Comput. 20, No. 3, 271-293 (2007). MSC: 68Q05 03B40 68N18 PDFBibTeX XMLCite \textit{D. P. Friedman} et al., High.-Order Symb. Comput. 20, No. 3, 271--293 (2007; Zbl 1130.68055) Full Text: DOI
Schmidt, David A. State-transition machines for lambda-calculus expressions. (English) Zbl 1130.68040 High.-Order Symb. Comput. 20, No. 3, 319-332 (2007). MSC: 68N18 68N20 68Q05 PDFBibTeX XMLCite \textit{D. A. Schmidt}, High.-Order Symb. Comput. 20, No. 3, 319--332 (2007; Zbl 1130.68040) Full Text: DOI
Cirstea, Horatiu; Faure, Germain; Kirchner, Claude A \(\rho\)-calculus of explicit constraint application. (English) Zbl 1115.68094 High.-Order Symb. Comput. 20, No. 1-2, 37-72 (2007). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Cirstea} et al., High.-Order Symb. Comput. 20, No. 1--2, 37--72 (2007; Zbl 1115.68094) Full Text: DOI Link
Levy, Paul Blain Call-by-push-value: Decomposing call-by-value and call-by-name. (English) Zbl 1112.68025 High.-Order Symb. Comput. 19, No. 4, 377-414 (2006). MSC: 68N18 PDFBibTeX XMLCite \textit{P. B. Levy}, High.-Order Symb. Comput. 19, No. 4, 377--414 (2006; Zbl 1112.68025) Full Text: DOI
Bertolissi, Clara; Cirstea, Horatiu; Kirchner, Claude Expressing combinatory reduction systems derivations in the rewriting calculus. (English) Zbl 1112.68070 High.-Order Symb. Comput. 19, No. 4, 345-376 (2006). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{C. Bertolissi} et al., High.-Order Symb. Comput. 19, No. 4, 345--376 (2006; Zbl 1112.68070) Full Text: DOI
Hamana, Makoto An initial algebra approach to term rewriting systems with variable binders. (English) Zbl 1105.68055 High.-Order Symb. Comput. 19, No. 2-3, 231-262 (2006). MSC: 68Q42 PDFBibTeX XMLCite \textit{M. Hamana}, High.-Order Symb. Comput. 19, No. 2--3, 231--262 (2006; Zbl 1105.68055) Full Text: DOI
Norrish, Michael Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations. (English) Zbl 1105.68093 High.-Order Symb. Comput. 19, No. 2-3, 169-195 (2006). MSC: 68T15 03B35 03B40 PDFBibTeX XMLCite \textit{M. Norrish}, High.-Order Symb. Comput. 19, No. 2--3, 169--195 (2006; Zbl 1105.68093) Full Text: DOI
Goldberg, Mayer A variadic extension of Curry’s fixed-point combinator. (English) Zbl 1083.68015 High.-Order Symb. Comput. 18, No. 3-4, 371-388 (2005). MSC: 68N15 68N18 PDFBibTeX XMLCite \textit{M. Goldberg}, High.-Order Symb. Comput. 18, No. 3--4, 371--388 (2005; Zbl 1083.68015) Full Text: DOI