voigt's Riecke:JG [3 articles] Export Sort

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

Hide details

	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
	Kripke Logical Relations and PCF [My Copy] Information and Computation, Vol. 120, No. 1. (July 1995), pp. 107-116. by P. W. Ohearn, J. G. Riecke posted to denotational-semantics functional-programming logical-relations pcf sequentiality types by voigt on 2005-09-12 12:33:26 as along with 1 person jdanbrown
	A Relational Account of Call-by-Value Sequentiality [My Copy] Information and Computation, Vol. 179, No. 2. (December 2002), pp. 296-331. by J. G. Riecke, A. Sandholm posted to call-by-value functional-programming logical-relations pcf sequentiality strict-evaluation by voigt on 2005-09-09 14:15:13 as

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

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.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

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 Riecke:JG [3 articles] Export Sort

voigt's tags