msakai's Danielsson:NA [2 articles] Export Sort

Recent papers posted to msakai's library by the author Danielsson:NA. You can also see everyone's Danielsson:NA.

Hide details

Note: You may cite this page as: http://www.citeulike.org/user/msakai/author/Danielsson:NA

msakai's tags

All tags in msakai's library

Filter:

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

category-theory	81
type-theory	80
haskell	60
domain-theory	36
functional	34
model-checking	33
logic	28
ppl2009	26
ppl2008	26
continuation	22
coalgebra	22
theorem-proving	18
program-transformation	17
polymorphism	16
linear-logic	14
linguistics	14
quantum	14
modal-logic	12
concurrency	12
lambda-calculus	11
institution	10
regular-expression	8
functional-programming	7
complexity	7
algebraic-specification	7
garbage-collection	7
virtual-machine	7
parametricity	6
program-analysis	6
logic-programming	6
coq	5
set-theory	5
aop	5
rewriting	5
security	5
parser	4
dependent-types	4
reactive	4
alloy	4
inductive-logic-programming	4
topology	4
types	4
specification	4
ruby	4
semantics	4
agda	4
verification	3
type-classes	3
process-algebra	3
machine-learning	3
intuitionistic	3
unix	3
parallel-programming	3
logical-relation	3
type-inference	3
game	3
c	3
compiler	3
algebra	3
thermodynamics	2
algebraic-geometry	2
debug	2
exception	2
observational-equivalence	2
monad	2
denotational-semantics	2
channel-theory	2
model-finding	2
vaguness	2
filesystem	2
slacs2007	2
philosophy	2
economics	2
linear-programming	2
planning	2
provability	2
specialization	2
copyright	2
encryption	2
physics	2
game-semantics	2
operational-semantics	2
kleene-algebra	2
chr	2
abductive-logic-programming	2
lcm	2
ontology	2
classical-logic	2
optimization	2
maude	1
scala	1
gui	1
diff	1
nuclear-deterrence	1
bug	1
context-free-grammer	1
determinacy	1
interference	1
fix-point	1
refactoring	1
chu-space	1
software-engineering	1
strictness-analysis	1
module-system	1
www2005	1
higher-order-logic	1
machine-code	1
constructivity	1
ocaml	1
smt	1
deep-inference	1
fft	1
arrow	1
arithmetic	1
region	1
temporal-logic	1
static-checking	1
bignum	1
number-theory	1
testing	1
soft-typing	1
quickcheck	1
database	1
information-theory	1
cloud	1
history	1
self-reference	1
e-mail	1
pretty-printing	1
effect-system	1
finance	1
expression-problem	1
tex	1
compression	1
shell-programming	1
dialgebra	1
stage-calculus	1
bdd	1
algorithm	1
operating-system	1
network	1
web	1
functional-logic-programming	1
stg	1
graph-rewriting	1
termination	1
prolog	1
design-by-contract	1
answer-set-programming	1
semantic-web	1
category-thoery	1
baysian-network	1

	Lightweight semiformal time complexity analysis for purely functional data structures [My Copy] SIGPLAN Not., Vol. 43, No. 1. (2008), pp. 133-144. by Nils A. Danielsson posted to complexity by msakai on 2008-12-01 23:00:40 as
	Fast and loose reasoning is morally correct [My Copy] SIGPLAN Not., Vol. 41, No. 1. (January 2006), pp. 206-217. by Nils A. Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons posted to functional by msakai on 2006-05-22 12:40:39 as along with 1 person bringert