Ilya Klyuchnikov - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged laziness

Proving the Equivalence of Higher-Order Terms by Means of SupercompilationIlya Klyuchnikov, Sergei A. Romanenko. ershov 2010: 193-205 [doi]

Verified validation of lazy code motionJean-Baptiste Tristan, Xavier Leroy. PLDI 2009: 316-326 [doi]

Heap recycling for lazy languagesJurriaan Hage, Stefan Holdermans. PEPM 2008: 189-197 [doi]

Lazy bases: a minimalist constructive theory of Noetherian ringsHervé Perdry. mlq, 54(1):70-82, 2008. [doi]

Clairvoyance and Laziness for on Line Travelling AgentsGiorgio Ausiello. ictcs 2007: 3

Lazy Susan Communication System for Remote, Spatial and Physical Collaborative WorksShigeru Wesugi, Yoshiyuki Miwa. tabletop 2006: 35-42 [doi]

Lazy Execution of Boolean QueriesDieter Maurer. birthday 2007: 82-96 [doi]

Pretty printing with lazy dequeuesOlaf Chitil. TOPLAS, 27(1):163-184, 2005. [doi]

The Lazy Adversary Conjecture FailsEnoch Peserico. mst, 37(3):397-403, 2004. [doi]

An Extension Of Lazy Evaluation For Influence Diagrams Avoiding Redundant Variables In The PotentialsMarta Vomlelová, Finn Verner Jensen. ijufks, 12(Supplement-1):1-18, 2004. [doi]

QArith: Coq Formalisation of Lazy Rational ArithmeticMilad Niqui, Yves Bertot. TYPES 2004: 309-323 [doi]

A Better Selection of Patterns in Lazy Learning Radial Basis Neural NetworksPedro Isasi, José María Valls, Inés María Galván. iwann 2003: 278-285 [doi]

Lazy AssertionsOlaf Chitil, Dan McNeill, Colin Runciman. IFL 2004: 1-19 [doi]

Lazy Garbage Collection of Recovery State for Fault-Tolerant Distributed Shared MemoryFlorin Sultan, Thu D. Nguyen, Liviu Iftode. tpds, 13(10):1085-1098, 2002. [doi]

Lazy Garbage Collection of Recovery State for Fault-Tolerant Distributed Shared MemoryFlorin Sultan, Thu D. Nguyen, Liviu Iftode. tpds, 13(7):673-686, 2002. [doi]

An Extension of Lazy Evaluation for Influence Diagrams Avoiding Redundant Variables in the PotentialsMarta Vomlelová, Finn Verner Jensen. pgm 2002: [doi]

Lazy Dynamic Input/Output in the Lazy Functional Language CleanMartijn Vervoort, Marinus J. Plasmeijer. IFL 2003: 101-117 [doi]

Lazy Classifiers Using P-treesWilliam Perrizo, Qin Ding, Anne Denton. caine 2002: 176-179

Cheap eagerness: speculative evaluation in a lazy functional languageKarl-Filip Faxén. ICFP 2000: 150-161 [doi]

Optimising Recursive Functions Yielding Multiple Results in Tuples in a Lazy Functional LanguageJohn H. G. van Groningen. IFL 2000: 59-76

Lazy Functional Algorithms for Exact Real FunctionalsAlex K. Simpson. mfcs 1998: 456-464 [doi]

More Haste, Less Speed: Lazy Versus Eager EvaluationRichard S. Bird, Geraint Jones, Oege de Moor. JFP, 7(5):541-547, 1997.

The Racing Algorithm: Model Selection for Lazy LearnersOded Maron, Andrew W. Moore. air, 11(1-5):193-225, 1997.

Transforming Lazy Functions Using Comportment PropertiesRoss Paterson. plilp 1997: 111-125

Common Subexpressions Are Uncommon in Lazy Functional LanguagesOlaf Chitil. IFL 1998: 53-71 [doi]

Tracing Lazy Functional Computations Using Redex TrailsJan Sparud, Colin Runciman. plilp 1997: 291-308

A Lazy Splitting System for ForumPablo López, Ernesto Pimentel. agp 1997: 247-258

Integrating Heterogeneous Databases: Lazy or Eager?Jennifer Widom. ACM Comput. Surv., 28(4es):91, 1996. [doi]

The Resource Constrained Shortest Path Problem Implemented in a Lazy Functional LanguagePieter H. Hartel, Hugh Glaser. JFP, 6(1):29-45, 1996.

Applications of Efficient Lazy Set Expression (Poster Abstract)Stefan Lüttringhaus-Kappel, Dirk Schulz. ICLP 1996: 531

Gadgets: Lazy Functional Components for Graphical User InterfacesRob Noble, Colin Runciman. plilp 1995: 321-340

Amortization, Lazy Evaluation, and Persistence: Lists with Catenation via Lazy LinkingChris Okasaki. focs 1995: 646-654

Generational Garbage Collection without Temporary Space Leaks for Lazy Functional LanguagesNiklas Röjemo. iwmm 1995: 145-162

Thunk Lifting: Reducing Heap Usage in an Implementation of a Lazy Functional LanguageA. Reza Haydarlou, Pieter H. Hartel. jflp, 1995(1), 1995.

Combining Lazy Narrowing and SimplificationMichael Hanus. plilp 1994: 370-384

A Variation on Knoop, Rüthing, and Steffen s Lazy Code MotionKarl-Heinz Drechsler, Manfred P. Stadel. SIGPLAN, 28(5):29-38, 1993.

Hamming numbers, lazy evaluation, and eager disposalChung-Kwong Yuen. SIGPLAN, 27(8):71-75, 1992. [doi]

CONS should not CONS its arguments, or, a lazy alloc is a smart allocHenry G. Baker. SIGPLAN, 27(3):24-34, 1992. [doi]

Integrating destructive assignment and lazy evaluation in the multiparadigm language G-2John Placer. SIGPLAN, 27(2):65-74, 1992. [doi]

Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-MachineSimon L. Peyton Jones. JFP, 2(2):127-202, 1992.

An Interface to Support Lazy Replicated File ServiceDan Duchamp, Carl D. Tait. wmrd 1992: 6-8

FCG: A Code Generator for Lazy Functional LanguagesKoen Langendoen, Pieter H. Hartel. cc 1992: 278-296

Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy LanguagesAllen Leung, Prateek Mishra. fpca 1991: 328-351

GAML: a Parallel Implementation of Lazy MLLuc Maranget. fpca 1991: 102-123

The lazy call-by-value Lamda-CalculusLavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca. mfcs 1991: 161-169

Maximum Queue Size and Hashing with Lazy DeletionClaire Kenyon, Jeffrey Scott Vitter. algorithmica, 6(4):597-619, 1991.

Generating Efficient Code for Lazy Functional LanguagesSjaak Smetsers, Eric Nöcker, John H. G. van Groningen, Marinus J. Plasmeijer. fpca 1991: 592-617

Hoisting: Lazy Evaluation in a Cold ClimateSimon Finn. tapsoft 1987: 155-166

An Introduction to Fully-Lazy SupercombinatorsSimon L. Peyton Jones. litp 1986: 175-206

Listlessness is better than laziness II: composing listless functionsPhilip Wadler. pdo 1986: 282-305

runs on WebDSL