Tag free-theorems [18 articles] Export

Recent papers classified by the tag free-theorems.

	Bidirectionalization for Free! (Pearl) [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (January 2009), pp. 165-176. by Janis Voigtländer edited by Benjamin C. Pierce posted to language-haskell free-theorems bidirectionalization by pedagand on 2009-09-10 20:38:04 as along with 2 people msakai voigt
	Free theorems involving type constructor classes: functional pearl [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 173-184. by Janis Voigtländer posted to type-classes language-haskell free-theorems bidirectionalization by pedagand on 2009-09-04 18:40:13 as
	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
	Bananas in Space: Extending Fold and Unfold to Exponential Types [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted to anamorphism catamorphism difunctors fixed-point fold free-theorems function-spaces functors gofer unfold by spl on 2008-08-18 18:26:44 as along with 6 people and 1 group blog01 JacquesC jyasskin voigt msakai dmitri83 NU-PRL
	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
	Theorems for free! [My Copy] In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359. by Philip Wadler posted to free-theorems lambda-calculus parametricity parametric-polymorphism program-transformation by nominolo on 2008-06-01 17:53:47 as along with 7 people and 1 group fvogels byorgey amp269 voigt spl paper_jac robdockins ConcertRG
	Much Ado about Two: A Pearl on Parallel Prefix Computation [My Copy] SIGPLAN Notices In 35th Symposium on Principles of Programming Languages, Proceedings, Vol. 43, No. 1. (January 2008), pp. 29-35. by Janis Voigtländer edited by Philip Wadler posted to free-theorems functional-programming haskell logical-relations parallel-programming parametricity polymorphism types by voigt on 2008-01-28 10:30:44 as along with 3 people yoriyuki keigoi msakai
	Proving Correctness via Free Theorems: The Case of the destroy/build-Rule [My Copy] In PEPM '08: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (January 2008), pp. 13-20. by Janis Voigtländer edited by Robert Glück, Oege de Moor posted to deforestation denotational-semantics free-theorems functional-programming haskell logical-relations parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation types by voigt on 2008-01-28 10:20:36 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
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted to free-theorems functional-programming haskell type-theory types by lomeo on 2007-03-21 13:16:21 as along with 17 people and 2 groups jimburton pedagand draganigajic samth dherman JacquesC greenrd rwtodd zednenem msakai ryanc tov jwm0123 KarlKlose cdiggins dfisher americovargas NU-PRL SRG_at_UCD
	The Girard-Reynolds isomorphism [My Copy] Information and Computation, Vol. 186, No. 2. (1 November 2003), pp. 260-284. by Philip Wadler posted to free-theorems functional-programming lambda-calculus logical-relations parametricity polymorphism types by voigt on 2005-09-30 14:12:59 as
	Formal parametric polymorphism [My Copy] In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 157-170. by Mart&\#237;n Abadi, Luca Cardelli, Pierre-Louis Curien posted to free-theorems functional-programming logical-relations parametricity polymorphism types by voigt on 2005-09-12 09:18:41 as
	Parametric polymorphism and operational equivalence [My Copy] Mathematical. Structures in Computer Science, Vol. 10, No. 3. (June 2000), pp. 321-359. by Andrew M. Pitts posted to call-by-name free-theorems functional-programming lambda-calculus logical-relations operational-semantics parametricity pcf polymorphism types by voigt on 2005-09-09 13:00:39 as along with 1 group ConcertRG
	Parametricity and Unboxing with Unpointed Types [My Copy] In Proceedings of the 6th European Symposium on Programming Languages and Systems (ESOP '96), Vol. 1058 (1996), pp. 204-218. by John Launchbury, Ross Paterson edited by Hanne R. Nielson posted to denotational-semantics free-theorems functional-programming haskell logical-relations parametricity polymorphism seq type-classes types by voigt on 2005-09-09 12:58:40 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
	Concatenate, reverse and map vanish for free [My Copy] SIGPLAN Notices In Seventh International Conference on Functional Programming (ICFP '02), Vol. 37, No. 9. (October 2002), pp. 14-25. by Janis Voigtländer edited by Peyton, Mitchell Wand posted to accumulating-parameters denotational-semantics free-theorems functional-programming haskell logical-relations optimization parametricity polymorphism program-transformation rank-2 seq shortcut-deforestation types by voigt on 2005-09-09 09:46:55 as along with 4 people and 1 group JacquesC rwtodd pejo msakai NU-PRL

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

polymorphism	19
parametricity	18
functional-programming	17
types	16
haskell	13
logical-relations	13
program-transformation	9
seq	9
denotational-semantics	8
lambda-calculus	8
rank-2	7
selective-strictness	7
shortcut-deforestation	7
lazy-evaluation	6
type-classes	5
call-by-name	3
deforestation	3
laziness	3
operational-semantics	3
strict-evaluation	3
bidirectionalization	2
generic-programming	2
language-haskell	2
optimization	2
parametric-polymorphism	2
pcf	2
rank-2-types	2
type-theory	2
accumulating-parameters	1
anamorphism	1
applications	1
bidirectionality	1
catamorphism	1
category-theory	1
circular-programs	1
databases	1
difunctors	1
errors	1
exceptions	1
fixed-point	1
fold	1
function-spaces	1
functors	1
gofer	1
imprecise-errors	1
nondeterminism	1
parallel-programming	1
unfold	1
view-update	1

Tag free-theorems [18 articles] Export

Related Tags