Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

voigt's van Weelden:A [2 articles] Export Sort

Recent papers posted to voigt's library by the author van Weelden:A. You can also see everyone's van Weelden:A.

Hide details

There and back again: arrows for invertible programming

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

Towards a Strongly Typed Functional Operating System

Lecture Notes in Computer Science, Vol. 2670 (January 2003), pp. 215-231.

by Arjen van Weelden, Rinus Plasmeijer

posted to clean functional-programming operating-systems side-effects by voigt on 2005-09-21 08:24:57 as

along with 1 person dmikurube

Note: You may cite this page as: http://www.citeulike.org/user/voigt/author/van Weelden:A

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 van Weelden:A [2 articles] Export Sort

voigt's tags