voigt's Wadler:P [6 articles] Export

Recent papers posted to voigt's library by the author Wadler:P. You can also see everyone's Wadler:P.

	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
	Why no one uses functional languages [My Copy] SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27. by Philip Wadler posted to functional-programming by voigt on 2005-11-21 13:28:04 as along with 10 people and 6 groups samth twleung dherman jacob hamish greenrd yish robennals umbra ryanc NU-PRL mathgamespatterns SRG_at_UCD dtl vds-arg eni
	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
	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
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted to functional-programming haskell monads side-effects types by voigt on 2005-09-22 08:44:22 as along with 22 people and 3 groups bfraser jimburton TobiasAbenius leonardo michaelbanks olegus keigoi pedagand draganigajic assnoodles samth JeffreyPalmer rahul lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	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 denotational-semantics free-theorems functional-programming lambda-calculus logical-relations parametricity polymorphism type-classes types by voigt on 2005-09-13 08:43:30 as along with 7 people and 1 group fvogels byorgey amp269 spl paper_jac robdockins nominolo ConcertRG

Note: You may cite this page as: http://www.citeulike.org/user/voigt/author/Wadler:P

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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

voigt's Wadler:P [6 articles] Export

voigt's tags