msakai's Altenkirch:T [6 articles] Export

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

	Observational equality, now! [My Copy] In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68. by Thorsten Altenkirch, Conor McBride, Wouter Swierstra posted to observational-equivalence type-theory by msakai on 2009-07-15 00:26:55 as along with 4 people fvogels pedagand noam_zeilberger Benja
	QPL 2006 Preliminary Version From reversible to irreversible computations Abstract [My Copy] by Alexander S. Green, Thorsten Altenkirch posted to quantum by msakai on 2008-08-24 23:24:31 as along with 1 person yoriyuki
	A functional quantum programming language [My Copy] Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on In Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on (2005), pp. 249-258. by T. Altenkirch, J. Grattage posted to functional quantum by msakai on 2008-07-01 23:44:05 as along with 2 people Scis0000002 yoriyuki
	Towards Observational Type Theory [My Copy] by Thorsten Altenkirch, Conor Mcbride posted to type-theory by msakai on 2008-05-27 23:36:35 as
	Containers: Constructing strictly positive types [My Copy] Theoretical Computer Science, Vol. 342, No. 1. (06 September 2005), pp. 3-27. by M. Abbott, T. Altenkirch, N. Ghani posted to type-theory by msakai on 2007-09-02 22:34:36 as along with 1 person pedagand
	Towards Observational Type Theory [My Copy] by T. Altenkirch, C. Mcbride posted to type-theory by msakai on 2006-05-05 10:08:16 as along with 1 person and 1 group greenrd SRG_at_UCD

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

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.

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

msakai's Altenkirch:T [6 articles] Export

msakai's tags