voigt's library 130 articles Export

Ordered by to_read.

	Semantic parametricity in polymorphic lambda calculus [My Copy] Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 274-279. by P. J. Freyd, J. Y. Girard, A. Scedrov, P. J. Scott posted to lambda-calculus parametricity polymorphism types by voigt on 2005-09-12 09:05:27 as along with 1 person msakai
	Datatypes and Subtyping [My Copy] (1998) by Haruo Hosoya, Benjamin C. Pierce, David N. Turner posted to subtyping types by voigt on 2006-10-09 09:21:44 as along with 1 person tautologico
	The semantics of future and its use in program optimization [My Copy] In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1995), pp. 209-220. by Cormac Flanagan, Matthias Felleisen posted to compilers functional-programming operational-semantics optimization parallel-programming by voigt on 2006-10-06 12:10:34 as along with 5 people and 3 groups mattmight robertjohnsimmons samth A_Olympia dsilva NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
	Adoption and focus: practical linear types for imperative programming [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 13-24. by Manuel Fahndrich, Robert Deline posted to imperative-programming linear-logic types by voigt on 2006-10-06 12:05:32 as along with 4 people and 1 group tov pedagand dherman bec NU-PRL
	Fun with functional dependencies [My Copy] (2001) by T. Hallgren posted to functional-dependencies functional-programming haskell logic-programming type-classes types by voigt on 2006-10-06 12:03:23 as along with 3 people yallop spl jimburton
	Automatic management of operating-system resources [My Copy] In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming (1997), pp. 274-279. by Olin Shivers posted to applications functional-programming operating-systems by voigt on 2006-10-06 11:55:03 as along with 1 person alec
	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 category-theory denotational-semantics free-theorems functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2006-05-08 11:27:35 as along with 6 people and 1 group blog01 JacquesC jyasskin msakai dmitri83 spl NU-PRL
	Adventures in time and space [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. 168-179. by Norman Danner, James S. Royer posted to call-by-value complexity-analysis denotational-semantics functional-programming lambda-calculus operational-semantics pcf types by voigt on 2006-03-21 11:26:19 as
	Polymorphic regular tree types and patterns [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. 103-114. by J&\#233;r&\#244;me Vouillon posted to automata polymorphism types xml by voigt on 2006-03-21 11:23:14 as
	Foundations for Programming Languages (Foundations of Computing) [My Copy] (01 September 1996) by John C. Mitchell posted to functional-programming lambda-calculus types by voigt on 2006-03-09 14:09:54 as along with 3 people robotact kontakte Malcohol
	Denotational semantics: The Scott-Strachey approach to programming language theory [My Copy] by Joseph Stoy posted to denotational-semantics functional-programming lambda-calculus side-effects by voigt on 2006-03-09 14:07:27 as along with 1 person mstone
	Structuring quantum effects: superoperators as arrows [My Copy] (25 Jan 2005) by J. K. Vizzotto, T. Altenkirch, A. Sabry posted to arrows functional-programming haskell quantum-computation side-effects types by voigt on 2005-12-09 09:19:04 as along with 3 people jrw jwm0123 MarkEveritt
	A core calculus of dependency [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 147-160. by Mart&\#237;n Abadi, Anindya Banerjee, Nevin Heintze, Jon G. Riecke posted to functional-programming monads types by voigt on 2005-11-30 07:59:13 as along with 2 people keigoi bfraser
	Logical Relations for Monadic Types [My Copy] In CSL '02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic (2002), pp. 553-568. by Jean Goubault-Larrecq, Slawomir Lasota, David Nowak posted to functional-programming logical-relations monads types by voigt on 2005-11-17 13:28:10 as
	Monads and Effects [My Copy] In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 42-122. by Nick Benton, John Hughes, Eugenio Moggi posted to haskell monads functional-programming side-effects types by voigt on 2005-11-10 10:05:20 as
	Functional Programming with Overloading and Higher-Order Polymorphism [My Copy] In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text (1995), pp. 97-136. by Mark P. Jones posted to functional-programming haskell polymorphism type-classes types by voigt on 2005-11-10 09:14:52 as along with 1 person bringert
	The Reasoned Schemer [My Copy] (01 July 2005) by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov posted to scheme functional-programming logic-programming by voigt on 2005-11-09 13:27:12 as along with 2 people ryanc jasmithoffice
	Notions of Computation Determine Monads [My Copy] In FoSSaCS '02: Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (2002), pp. 342-356. by Gordon D. Plotkin, John Power posted to functional-programming monads by voigt on 2005-11-03 10:07:37 as
	Operational reasoning for functions with local state [My Copy] (1998), pp. 227-274. by A. M. Pitts, I. D. B. Stark posted to functional-programming operational-semantics types by voigt on 2005-11-02 14:10:34 as
	Representing layered monads [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 175-188. by Andrzej Filinski posted to continuations functional-programming ml monads scheme side-effects types by voigt on 2005-11-02 06:25:37 as along with 2 people and 2 groups samth JeffreyPalmer ConcertRG NU-PRL
	Highlights of the history of the lambda-calculus [My Copy] In LFP '82: Proceedings of the 1982 ACM symposium on LISP and functional programming (1982), pp. 216-225. by Barkley J. Rosser posted to functional-programming lambda-calculus by voigt on 2005-11-01 10:01:22 as along with 9 people and 1 group hamish jrw rahul damaru pintman wadler ben_moseley bunge ds SRL
	Taming effects with monadic typing [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming, Vol. 34, No. 1. (January 1998), pp. 51-62. by Richard B. Kieburtz posted to call-by-value functional-programming ml side-effects strict-evaluation types by voigt on 2005-10-28 14:12:38 as along with 1 person Scis0000002
	A comparative study of language support for generic programming [My Copy] In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 115-134. by Ronald Garcia, Jaakko Jarvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock posted to generic-programming haskell types by voigt on 2005-10-25 12:52:21 as along with 2 people and 1 group spl dherman NU-PRL
	On a monadic semantics for freshness [My Copy] Theoretical Computer Science, Vol. 342, No. 1. (6 September 2005), pp. 28-55. by Mark R. Shinwell, Andrew M. Pitts posted to functional-programming monads nominal-abstract-syntax by voigt on 2005-10-25 12:51:03 as along with 1 person and 1 group dherman NU-PRL
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted to category-theory functional-programming monads types by voigt on 2005-10-20 07:57:37 as along with 7 people and 1 group greenrd jrw greg_restall zednenem josefs msakai EdwardKmett SRG_at_UCD
	Dependent types in practical programming [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227. by Hongwei Xi, Frank Pfenning posted to dependent-types functional-programming ml types by voigt on 2005-10-17 09:41:02 as along with 11 people and 1 group ama08r shimomura msakai rgrig yallop tautologico japple kavabean geishagirls rysavy jimburton SRG_at_UCD
	Automata theory for XML researchers [My Copy] SIGMOD Rec., Vol. 31, No. 3. (September 2002), pp. 39-46. by Frank Neven posted to automata xml by voigt on 2005-10-13 08:22:50 as along with 3 people and 5 groups andytseng kinaba seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	Processing XML streams with deterministic automata and stream indexes [My Copy] ACM Trans. Database Syst., Vol. 29, No. 4. (December 2004), pp. 752-788. by Todd J. Green, Ashish Gupta, Gerome Miklau, Makoto Onizuka, Dan Suciu posted to automata streams xml by voigt on 2005-10-13 08:19:31 as along with 4 people and 5 groups taroleo tatemura seabay ccipres Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	A formal model for an expressive fragment of XSLT [My Copy] Inf. Syst., Vol. 27, No. 1. (March 2002), pp. 21-39. by Geert J. Bex, Sebastian Maneth, Frank Neven posted to tree-transducers xml by voigt on 2005-10-12 06:16:32 as along with 2 people and 5 groups mattbiehl seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	The logic of demand in Haskell [My Copy] Journal of Functional Programming, Vol. 15, No. 6. (November 2005), pp. 837-891. by William L. Harrison, Richard B. Kieburtz posted to denotational-semantics functional-programming haskell laziness lazy-evaluation programatica selective-strictness seq verification by voigt on 2005-10-11 06:20:16 as along with 1 person and 1 group greenrd SRG_at_UCD
	The Functional Approach to Data Management: Modeling, Analyzing, and Integrating Heterogeneous Data [My Copy] (05 November 2003) by Peter M. D. Gray edited by Peter M. D. Gray, Larry Kerschberg, Peter J. H. King, Alexandra Poulovassilis posted to applications functional-programming monads xml by voigt on 2005-10-07 11:48:00 as along with 1 person and 1 group mahler Rightscom
	A Semi-Monad for Semi-structured Data [My Copy] In 8th International Conference on Database Theory, Proceedings, Vol. 1973 (2001), 263. by Mary Fernandez, Jerome Simeon, Philip Wadler posted to monads types xml by voigt on 2005-10-07 11:43:29 as
	TypeCase: a design pattern for type-indexed functions [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 98-109. by Bruno C. Oliveira, Jeremy Gibbons posted to functional-programming generic-programming haskell type-classes types by voigt on 2005-10-06 08:37:09 as along with 2 people and 1 group yallop spl ConcertRG
	There and back again: arrows for invertible programming [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 86-97. by Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen, Rinus Plasmeijer posted to arrows functional-programming generic-programming haskell monads by voigt on 2005-10-06 08:34:34 as along with 4 people and 2 groups greenrd tautologico mahler mstone Rightscom SRG_at_UCD
	Haskell on a shared-memory multiprocessor [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 49-61. by Tim Harris, Simon Marlow, Simon Peyton-Jones posted to compilers functional-programming haskell monads by voigt on 2005-10-06 08:28:15 as along with 9 people masteraka hamish jrw tautologico msakai neilc benchambers kazuya brecknell
	Haskell server pages through dynamic loading [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 39-48. by Niklas Broberg posted to applications dsl functional-programming haskell xml by voigt on 2005-10-06 08:26:22 as
	Dynamic applications from the ground up [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38. by Don Stewart, Manuel M. Chakravarty posted to applications dsl functional-programming haskell by voigt on 2005-10-06 08:24:31 as along with 7 people bfraser draganigajic hamish JeffreyPalmer byorgey jpbernardy pedagand
	Haskell ready to dazzle the real world [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 17-26. by Martijn M. Schrage, Arjan van Ijzendoorn, Linda C. van der Gaag posted to applications functional-programming haskell by voigt on 2005-10-06 08:22:18 as along with 5 people and 1 group greenrd p1738j kowey shimomura wtribbey SRG_at_UCD
	Darcs: distributed version management in Haskell [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 1-4. by David Roundy posted to applications functional-programming haskell by voigt on 2005-10-06 08:19:13 as along with 2 people p1738j msakai
	Halfs: a haskell filesystem [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 116-116. by Isaac Jones posted to embedded-systems functional-programming haskell operating-systems by voigt on 2005-10-06 08:08:06 as
	A short survey of isomorphisms of types [My Copy] Mathematical Structures in Computer Science, Vol. 15, No. 5. (October 2005), pp. 825-838. by Roberto Di Cosmo posted to functional-programming lambda-calculus types by voigt on 2005-10-06 07:46:14 as
	The anatomy of a loop: a story of scope and control [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 2-14. by Olin Shivers posted to functional-programming lambda-calculus scheme by voigt on 2005-10-06 07:22:00 as along with 5 people hamish JeffreyPalmer pintman robennals ryanc
	Computational lambda-calculus and monads [My Copy] Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23. by E. Moggi posted to category-theory denotational-semantics functional-programming lambda-calculus monads side-effects types by voigt on 2005-10-05 07:37:41 as along with 10 people and 1 group kozima pedagand JeffreyPalmer msakai bonotake dmitri83 aleks EdwardKmett Benja mcclurmc Compilers
	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
	Prelogical Relations [My Copy] Information and Computation, Vol. 178, No. 1. (10 October 2002), pp. 23-43. by Furio Honsell, Donald Sannella posted to denotational-semantics functional-programming lambda-calculus logical-relations types by voigt on 2005-09-30 14:06:44 as along with 1 person mkis
	Relational Interpretations of Recursive Types in an Operational Setting [My Copy] Information and Computation, Vol. 155, No. 1-2. (25 November 1999), pp. 3-63. by Lars Birkedal, Robert Harper posted to continuations functional-programming operational-semantics pcf types by voigt on 2005-09-30 13:59:27 as
	Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations [My Copy] Information and Computation, Vol. 154, No. 1. (10 October 1999), pp. 34-91. by Joost Engelfriet, Sebastian Maneth posted to attribute-grammars mso-logic tree-transducers by voigt on 2005-09-30 13:54:37 as
	Scrap your boilerplate with class: extensible generic functions [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 204-215. by Ralf Lämmel, Simon Peyton-Jones posted to functional-programming generic-programming haskell type-classes types by voigt on 2005-09-28 09:43:26 as along with 8 people spl mkis hamish yallop bec kavabean lomeo americovargas
	Backtracking, interleaving, and terminating monad transformers: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 192-203. by Oleg Kiselyov, Chung-Chieh Shan, Daniel P. Friedman, Amr Sabry posted to continuations functional-programming haskell monads by voigt on 2005-09-28 09:39:20 as along with 4 people and 2 groups greenrd mahler msakai AndreasSchropp Rightscom SRG_at_UCD
	Scrap your nameplate: (functional pearl) [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 180-191. by James Cheney posted to functional-programming generic-programming haskell nominal-abstract-syntax by voigt on 2005-09-28 09:36:40 as along with 3 people and 1 group greenrd msakai keigoi SRG_at_UCD

Note: You may cite this page as: http://www.citeulike.org/user/voigt/order/to_read

Result page: 1 2 3 Next

functional-programming	108
types	68
haskell	53
polymorphism	31
monads	27
lambda-calculus	23
program-transformation	23
parametricity	21
logical-relations	20
denotational-semantics	19
side-effects	18
free-theorems	17
lazy-evaluation	16
optimization	15
type-classes	15
tree-transducers	14
laziness	13
seq	13
xml	13
accumulating-parameters	11
deforestation	11
generic-programming	11
operational-semantics	11
strict-evaluation	11
call-by-name	10
rank-2	10
selective-strictness	10
call-by-value	8
category-theory	8
ml	8
shortcut-deforestation	8
verification	8
applications	7
call-by-need	7
attribute-grammars	6
continuations	6
pcf	6
circular-programs	5
compilers	5
dsl	5
operating-systems	5
functional-dependencies	4
induction-proofs	4
multiple-traversals	4
subtyping	4
theorem-provers	4
tupling	4
arrows	3
automata	3
dependent-types	3
embedded-systems	3
objects	3
scheme	3
clean	2
linear-logic	2
logic-programming	2
mso-logic	2
nominal-abstract-syntax	2
parallel-programming	2
programatica	2
sequentiality	2
static-analysis	2
bidirectionality	1
complexity-analysis	1
concurrency	1
databases	1
decidability	1
errors	1
exceptions	1
imperative-programming	1
imprecise-errors	1
nondeterminism	1
optimal-reduction	1
quantum-computation	1
real-time	1
streams	1
uniqueness	1
view-update	1

voigt's library 130 articles Export

voigt's tags