Koen Claessen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged laziness

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]

Lazy Approximation for Dense Real-Time SystemsMaria Sorea. formats 2004: 363-378 [doi]

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

A Lazy Version of Eppstein s ::::K:::: Shortest Paths AlgorithmVíctor M. Jiménez, Andrés Marzal. wea 2003: 179-190 [doi]

Testing and Tracing Lazy Functional Programs Using QuickCheck and HatKoen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace. afp 2003: 59-99 [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]

Adding Traces to a Lazy Monadic EvaluatorCristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura. eurocast 2001: 627-641 [doi]

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

The costs and benefits of cloning in a lazy functional languageKarl-Filip Faxén. sfp 2000: 1-12

A model for comparing the space usage of lazy evaluatorsAdam Bakewell, Colin Runciman. ppdp 2000: 151-162 [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

The GRIN Project: A Highly Optimising Back End for Lazy Functional LanguagesUrban Boquist, Thomas Johnsson. IFL 1997: 58-84

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

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.

Interprocedural Register Allocation for Lazy Functional LanguagesUrban Boquist. fpca 1995: 270-281

Register Allocation Using Lazy Saves, Eager Restores, and Greedy ShufflingRobert G. Burger, Oscar Waddell, R. Kent Dybvig. PLDI 1995: 130-138

Lazy Funtional State Threads: An AbstractJohn Launchbury, Simon L. Peyton Jones. ICLP 1994: 3-5

Lazy Functional State ThreadsJohn Launchbury, Simon L. Peyton Jones. PLDI 1994: 24-35

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

Benchmarking Implementations of Lazy Functional LanguagesPieter H. Hartel, Koen Langendoen. fpca 1993: 341-349

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

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

Generalized Partial Computation for a Lazy Functional LanguageAkihiko Takano. PEPM 1991: 1-11

Equality In Lazy Computation SystemsDouglas J. Howe. lics 1989: 198-203

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

runs on WebDSL