Tag laziness [34 articles] Export

Recent papers classified by the tag laziness.

	A Natural Semantics for Lazy Evaluation [My Copy] (1993), pp. 144-154. by John Launchbury posted to laziness semantics by darinm on 2008-09-26 00:59:48 as along with 1 person byorgey
	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 posted to haskell laziness machine stg by kalmar on 2008-01-09 00:03:35 as along with 1 person mcclurmc
	Formally deriving an STG machine [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 102-112. by Alberto, Ricardo posted to haskell laziness machine stg by kalmar on 2008-01-09 00:02:33 as along with 2 people msakai keigoi
	Simple Confluently Persistent Catenable Lists (Extended Abstract) [My Copy] In Scandinavian Workshop on Algorithm Theory (1998), pp. 119-130. by Haim Kaplan, Chris Okasaki, Robert E. Tarjan posted to functional_data_structures haskell laziness okasaki by BMeph on 2007-12-17 19:40:32 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
	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
	Needed reduction and spine strategies for the lambda calculus [My Copy] Inf. Comput., Vol. 75, No. 3. (December 1987), pp. 191-231. by H. P. Barendregt, J. R. Kennaway, J. W. Klop, M. R. Sleep posted to lambda laziness by ajk on 2006-09-27 17:56:32 as
	Compiling lazy functional programs for the Java Virtual Machine [My Copy] J. Funct. Program., Vol. 9, No. 6. (November 1999), pp. 579-603. by David Wakeling posted to compilation laziness by ajk on 2006-09-19 06:01:18 as along with 1 person mzp
	A model for comparing the space usage of lazy evaluators [My Copy] In PPDP '00: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming (2000), pp. 151-162. by Adam Bakewell, Colin Runciman posted to laziness by ajk on 2006-09-19 06:00:31 as
	Possibilities and limitations of call-by-need space improvement [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (2001), pp. 265-276. by J&\#246;rgen Gustavsson, David Sands posted to laziness by ajk on 2006-09-19 05:59:18 as
	Laziness without all the hard work: combining lazy and strict languages for teaching [My Copy] In FDPE '05: Proceedings of the 2005 workshop on Functional and declarative programming in education (2005), pp. 9-13. by Eli Barzilay, John Clements posted to laziness by dherman on 2006-08-29 14:44:53 as along with 2 people and 1 group Benja ajk NU-PRL
	Correct and optimal implementations of recursion in a simple programming language [My Copy] In STOC '73: Proceedings of the fifth annual ACM symposium on Theory of computing (1973), pp. 224-239. by Jean Vuillemin posted to laziness by ajk on 2006-08-23 17:22:23 as along with 1 person Benja
	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
	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
	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
	The Role of Lazy Evaluation in Amortized Data Structures [My Copy] In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '96), Vol. 31(6) (1996), pp. 62-72. by Chris Okasaki posted to data-structures functional laziness by tautologico on 2005-05-28 17:03:17 as
	Lazy vs Strict [My Copy] ACM Computing Surveys, Vol. 28, No. 2. (1996), pp. 318-320. by Philip Wadler posted to laziness by dherman to the group NU-PRL on 2005-03-15 22:38:17 as along with 3 people rwtodd cedricboidin ben_moseley
	Macros that Reach Out and Touch Somewhere [My Copy] by Unpublished I. Report posted to expressive-power extensible-syntax laziness macros by dherman to the group NU-PRL on 2005-02-16 03:42:39 as along with 4 people pnkfelix JeffreyPalmer mbravenboer ryanc
	A critique of Abelson and Sussman or why calculating is better than scheming [My Copy] SIGPLAN Not., Vol. 22, No. 3. (March 1987), pp. 83-94. by P. Wadler posted to laziness by dherman on 2005-01-05 05:18:17 along with 9 people and 1 group ama08r claudiamichelle jkominek spl tarampam samth tautologico croys ben_moseley NU-PRL
	Fine Control of Demand in Haskell [My Copy] In MPC '02: Proceedings of the 6th International Conference on Mathematics of Program Construction (2002), pp. 68-93. by William Harrison, Tim Sheard, James Hook posted to haskell laziness by dherman to the group NU-PRL on 2004-12-23 17:49:47
	Projections for Strictness Analysis [My Copy] In Functional Programming Languages and Computer Architecture, Vol. 274 (1987), pp. 385-407. by Philip Wadler, R. J. M. Hughes edited by Gilles Kahn posted to haskell laziness strictness-analysis by dherman on 2004-12-21 00:47:25 along with 1 group NU-PRL
	Representing Demand by Partial Projections [My Copy] Journal of Functional Programming, Vol. 6, No. 4. (1996), pp. 563-585. by John Launchbury, Gebreselassie Baraki posted to haskell laziness strictness-analysis by dherman on 2004-12-21 00:47:07 along with 1 group NU-PRL
	Automated soundness checking of a programming logic for Haskell [My Copy] by Richard Kieburtz posted to haskell laziness p-logic by dherman on 2004-12-20 19:46:11 along with 1 group NU-PRL
	P-logic: property verification for Haskell programs [My Copy] by Richard B. Kieburtz posted to haskell laziness p-logic by dherman on 2004-12-20 19:45:46 along with 2 people and 1 group draganigajic pedagand NU-PRL
	Modeling Fine Control of Demand in Haskell [My Copy] by Tim Sheard, William Harrison, James Hook posted to haskell laziness p-logic by dherman to the group NU-PRL on 2004-12-20 19:44:57
	Fine Control of Demand in Haskell [My Copy] (2002) by W. Harrison, T. Sheard, J. Hook posted to haskell laziness p-logic by dherman to the group NU-PRL on 2004-12-20 19:43:47
	How to Add Laziness to a Strict Language Without Even Being Odd [My Copy] by Philip Wadler posted to laziness by dherman on 2004-12-19 15:35:22 along with 2 people and 2 groups greenrd zednenem NU-PRL SRG_at_UCD

Note: You may cite this page as: http://www.citeulike.org/tag/laziness

haskell	26
functional-programming	12
lazy-evaluation	12
p-logic	8
program-transformation	7
seq	6
strict-evaluation	6
call-by-name	5
optimization	5
selective-strictness	5
types	5
accumulating-parameters	4
call-by-need	4
circular-programs	4
denotational-semantics	4
logical-relations	4
multiple-traversals	4
strictness-analysis	4
tupling	4
deforestation	3
free-theorems	3
parametricity	3
polymorphism	3
rank-2	3
shortcut-deforestation	3
tree-transducers	3
attribute-grammars	2
call-by-value	2
expressive-power	2
extensible-syntax	2
machine	2
macros	2
ml	2
monads	2
operational-semantics	2
side-effects	2
stg	2
category-theory	1
compilation	1
compilers	1
data-structures	1
functional	1
functional_data_structures	1
induction-proofs	1
lambda	1
lambda-calculus	1
language	1
okasaki	1
pcf	1
semantics	1
static-analysis	1

Tag laziness [34 articles] Export

Related Tags