Tag lazy-evaluation [33 articles] Export

Recent papers classified by the tag lazy-evaluation.

	Lazy Functional Incremental Parsing [My Copy] In Haskell 2009 (2009), pp. 49-60. by Jean-Philippe Bernardy posted to zipper submit-incremental parsers lazy-evaluation incremental editors by spl on 2009-10-31 13:46:12 as along with 1 person robertjohnsimmons
	Using Circular Programs to Eliminate Multiple Traversals of Data [My Copy] Acta Informatica, Vol. 21, No. 3. (1 October 1984), pp. 239-250. by R. S. Bird posted to traversals submit-incremental repmin recursion lazy-evaluation functional-programming circularity by spl on 2009-07-23 09:04:46 as along with 1 person tautologico
	A family of syntactic logical relations for the semantics of Haskell-like languages [My Copy] Information and Computation, Vol. 207, No. 2. (February 2009), pp. 341-368. by Patricia Johann, Janis Voigtländer posted to call-by-name deforestation errors free-theorems functional-programming haskell lambda-calculus lazy-evaluation logical-relations operational-semantics parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2009-07-19 07:38:42 as along with 1 person msakai
	Parametricity for Haskell with Imprecise Error Semantics [My Copy] Typed Lambda Calculi and Applications In Typed Lambda Calculi and Applications, Proceedings, Vol. 5608 (July 2009), pp. 294-308. by Florian Stenger, Janis Voigtländer edited by Pierre-Louis Curien posted to denotational-semantics exceptions free-theorems functional-programming haskell imprecise-errors lambda-calculus lazy-evaluation logical-relations nondeterminism parametricity polymorphism selective-strictness seq types by voigt on 2009-07-19 07:22:37 as along with 1 person msakai
	How to replace failure by a list of successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages [My Copy] Functional Programming Languages and Computer Architecture (1985), pp. 113-128. by Philip Wadler posted to backtracking exceptions functional-programming lazy-evaluation lists parsers pattern-matching by spl on 2009-06-22 16:42:31 as along with 2 people bulwahn michaelbanks
	The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages [My Copy] Implementation of Functional Languages (1997), pp. 58-84. by Urban Boquist, Thomas Johnsson posted to compilers graph-reduction haskell intermediate-language lazy-evaluation optimization by spl on 2009-04-12 14:23:41 as along with 1 person Lemmih
	1 [My Copy] by John Launchbury, Ross Paterson posted to haskell lazy-evaluation unboxed-types by zednenem on 2009-03-02 15:39:19 as
	Incremental Attribute Evaluation: A Flexible Algorithm for Lazy Update [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 13, No. 3. (July 1991), pp. 315-341. by Scott E. Hudson posted to attribute-grammars grammars incremental lazy-evaluation by spl on 2009-02-10 13:50:27 as along with 1 person jpbernardy
	What about the natural numbers? [My Copy] Computer Languages, Vol. 14, No. 3. (1989), pp. 181-191. by Colin Runciman posted to lazy-evaluation natural-numbers numbers total-functions by spl on 2008-08-24 11:33:19 as along with 1 person michaelbanks
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson posted to anamorphism bifunctors catamorphism fold functors hylomorphism lazy-evaluation paramorphism program-calculation unfold by spl on 2008-08-18 18:44:21 as along with 12 people and 3 groups ama08r Benja greenrd yallop jyasskin voigt oryp6518 dmitri83 aleks rgb bringert wtribbey SRG_at_UCD Compilers pileWorks
	Lazy Functional State Threads [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35. by John Launchbury, Simon posted to haskell lazy-evaluation monads by zednenem on 2008-07-28 06:25:10 as
	Lazy Lexing is Fast [My Copy] In Fuji International Symposium on Functional and Logic Programming (1999), pp. 68-84. by Manuel M. T. Chakravarty posted to lazy-evaluation lexing by zednenem on 2008-07-22 18:46:56 as
	Semantics and Pragmatics of New Shortcut Fusion Rules [My Copy] Functional and Logic Programming, Proceedings, Vol. 4989 (April 2008), pp. 163-179. by Janis Voigtländer edited by Jacques Garrigue, Manuel Hermenegildo posted to circular-programs deforestation free-theorems functional-programming haskell lazy-evaluation optimization parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2008-06-02 09:43:03 as along with 1 person msakai
	Linearity and Laziness [My Copy] In Functional Programming Languages and Computer Architecture (1991), pp. 215-240. by David Wakeling, Colin Runciman posted to lazy-evaluation linear-types by zednenem on 2008-05-10 22:06:20 as
	Selective strictness and parametricity in structural operational semantics, inequationally [My Copy] Theoretical Computer Science, Vol. 388, No. 1-3. (2007), pp. 290-318. by Janis Voigtländer, Patricia Johann posted to call-by-name free-theorems functional-programming haskell lambda-calculus laziness lazy-evaluation logical-relations operational-semantics parametricity pcf polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2007-12-11 15:51:34 as
	Modular lazy search for constraint satisfaction problems [My Copy] (2001) by T. Nordin, A. Tolmach posted to constraint-satisfaction lazy-evaluation by zednenem on 2007-07-31 06:39:09 as
	The Impact of seq on Free Theorems-Based Program Transformations [My Copy] Fundam. Inf., Vol. 69, No. 1-2. (2006), pp. 63-102. by Patricia Johann, Janis Voigtländer posted to denotational-semantics free-theorems functional-programming haskell laziness lazy-evaluation logical-relations parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2007-06-25 11:10:15 as
	How Much Non-Strictness do Lenient Programs Require? [My Copy] In Functional Programming Languages and Computer Architecture (1995), pp. 216-225. by Klaus E. Schauser, Seth C. Goldstein posted to lazy-evaluation by janschaefer to the group TU-KL-SoftwareTechnologyGroup on 2007-04-12 15:23:13 as
	Fast and loose reasoning is morally correct [My Copy] In POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted to call-by-name call-by-value category-theory denotational-semantics functional-programming haskell laziness lazy-evaluation logical-relations ml selective-strictness seq strict-evaluation types by voigt on 2006-03-21 11:28:11 as along with 7 people and 2 groups ama08r spl pedagand p1738j aleks Benja paper_jac ConcertRG Compilers
	Optimistic evaluation: an adaptive evaluation strategy for non-strict programs [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Vol. 38, No. 9. (September 2003), pp. 287-298. by Robert Ennals, Simon P. Jones posted to ghc haskell lazy-evaluation mypapers strictness-analysis by robennals on 2005-11-20 13:22:37 as along with 1 person pejo
	How to Add Laziness to a Strict Language Without Even Being Odd [My Copy] by Philip Wadler posted to lazy-evaluation by zednenem on 2005-11-07 23:00:20 as along with 2 people and 2 groups dherman greenrd NU-PRL SRG_at_UCD
	Correctness of monadic state: an imperative call-by-need calculus [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 62-74. by Zena M. Ariola, Amr Sabry posted to call-by-name call-by-need functional-programming laziness lazy-evaluation monads side-effects types by voigt on 2005-10-28 14:10:26 as
	Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine [My Copy] Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202. by Simon L. Peyton-Jones posted to compilation haskell intermediate-language lazy-evaluation by zednenem on 2005-10-05 02:04:17 as along with 7 people JeffreyPalmer jrw damaru benchambers jpetry donniejones18 spl
	Usage Counting Analysis for Lazy Functional Languages [My Copy] Information and Computation, Vol. 146, No. 2. (1 November 1998), pp. 100-137. by G. W. Hamilton posted to call-by-name call-by-need denotational-semantics functional-programming laziness lazy-evaluation optimization static-analysis by voigt on 2005-09-30 13:49:47 as
	Eager Haskell: resource-bounded execution yields efficient iteration [My Copy] In Haskell '02: Proceedings of the ACM SIGPLAN workshop on Haskell (2002), pp. 38-50. by Jan-Willem Maessen posted to compilers functional-programming haskell laziness lazy-evaluation selective-strictness seq strict-evaluation by voigt on 2005-09-26 07:54:18 as along with 2 people and 1 group greenrd MattOConnor SRG_at_UCD
	Attribute grammars as a functional programming paradigm [My Copy] In Proc. of a conference on Functional programming languages and computer architecture (1987), pp. 154-173. by Thomas Johnsson posted to accumulating-parameters attribute-grammars circular-programs functional-programming laziness lazy-evaluation multiple-traversals optimization program-transformation tupling by voigt on 2005-09-13 08:32:38 as
	Bridging the gulf: a common intermediate language for ML and Haskell [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61. by Simon Peyton-Jones, Mark Shields, John Launchbury, Andrew Tolmach posted to call-by-need call-by-value functional-programming haskell laziness lazy-evaluation ml monads seq side-effects strict-evaluation by voigt on 2005-09-13 08:23:30 as along with 5 people and 1 group JacquesC JeffreyPalmer rwtodd spl kowey NU-PRL
	Tree Transducer Composition as Program Transformation [My Copy] (2005) by Janis Voigtländer posted to accumulating-parameters attribute-grammars call-by-name call-by-need circular-programs deforestation functional-programming haskell induction-proofs laziness lazy-evaluation multiple-traversals operational-semantics optimization program-transformation tree-transducers tupling by voigt on 2005-09-12 07:50:09 as
	Using Circular Programs to Deforest in Accumulating Parameters [My Copy] Higher-Order and Symbolic Computation, Vol. 17, No. 1 - 2. (March 2004), pp. 129-163. by Janis Voigtländer posted to accumulating-parameters circular-programs deforestation functional-programming haskell laziness lazy-evaluation multiple-traversals optimization program-transformation tree-transducers tupling by voigt on 2005-09-09 09:59:46 as
	Free theorems in the presence of seq [My Copy] SIGPLAN Notices In 31st Symposium on Principles of Programming Languages (POPL '04), Vol. 39, No. 1. (January 2004), pp. 99-110. by Patricia Johann, Janis Voigtländer edited by Neil D. Jones, Xavier Leroy posted to denotational-semantics free-theorems functional-programming haskell laziness lazy-evaluation logical-relations parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2005-09-09 09:52:24 as
	Using circular programs to deforest in accumulating parameters [My Copy] In Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM '02) (September 2002), pp. 126-137. by Janis Voigtländer edited by Kenichi Asai, Wei-Ngan Chin posted to accumulating-parameters circular-programs deforestation functional-programming haskell laziness lazy-evaluation multiple-traversals optimization program-transformation tree-transducers tupling by voigt on 2005-09-09 09:44:41 as
	More haste, less speed: lazy versus eager evaluation [My Copy] J. Funct. Program., Vol. 7, No. 5. (September 1997), pp. 541-547. by Richard Bird, Geraint Jones, Oege De Moor posted to fp lazy-evaluation by zednenem on 2005-07-28 19:59:07 as
	A call-by-need lambda calculus [My Copy] In Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 233-246. by Zena M. Ariola, John Maraist, Martin Odersky, Matthias Felleisen, Philip Wadler posted to lazy-evaluation by samth on 2004-12-01 23:49:23 as along with 1 person and 1 group dsilva NU-PRL

Note: You may cite this page as: http://www.citeulike.org/tag/lazy-evaluation

functional-programming	17
haskell	17
laziness	12
program-transformation	9
seq	9
selective-strictness	8
types	8
optimization	7
call-by-name	6
free-theorems	6
logical-relations	6
parametricity	6
polymorphism	6
strict-evaluation	6
circular-programs	5
deforestation	5
denotational-semantics	5
rank-2	5
shortcut-deforestation	5
accumulating-parameters	4
call-by-need	4
multiple-traversals	4
tupling	4
attribute-grammars	3
lambda-calculus	3
monads	3
operational-semantics	3
tree-transducers	3
call-by-value	2
compilers	2
exceptions	2
incremental	2
intermediate-language	2
ml	2
parsers	2
side-effects	2
submit-incremental	2
anamorphism	1
backtracking	1
bifunctors	1
catamorphism	1
category-theory	1
circularity	1
compilation	1
constraint-satisfaction	1
editors	1
errors	1
fold	1
fp	1
functors	1
ghc	1
grammars	1
graph-reduction	1
hylomorphism	1
imprecise-errors	1
induction-proofs	1
lexing	1
linear-types	1
lists	1
mypapers	1
natural-numbers	1
nondeterminism	1
numbers	1
paramorphism	1
pattern-matching	1
pcf	1
program-calculation	1
recursion	1
repmin	1
static-analysis	1
strictness-analysis	1
total-functions	1
traversals	1
unboxed-types	1
unfold	1
zipper	1

Tag lazy-evaluation [33 articles] Export

Related Tags