msakai's Gunter:CA [4 articles] Export

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

	Reference counting as a computational interpretation of linear logic [My Copy] Journal of Functional Programming, Vol. 6, No. 02. (1996), pp. 195-244. by Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke posted to garbage-collection linear-logic by msakai on 2009-02-15 09:35:58 as along with 1 person yoriyuki
	A generalization of exceptions and control in ML-like languages [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 12-23. by Carl A. Gunter, Didier Rémy, Jon G. Riecke posted to continuation by msakai on 2008-05-25 10:01:16 as along with 1 person yoriyuki
	Domain Theoretic Models of Polymorphism [My Copy] Information and Computation, Vol. 81, No. 2. (1989), pp. 123-167. by Thierry Coquand, Carl A. Gunter, Glynn Winskel posted to category-theory domain-theory polymorphism by msakai on 2006-12-13 11:38:51 as along with 2 people darinm scis0000001
	Type Inference for Records in a Natural Extension of ML. [My Copy] In Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design (1993) by Didier Rémy edited by Carl A. Gunter, John C. Mitchell posted to type-theory by msakai on 2006-02-26 10:39:40 as along with 1 person soutaro

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

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 Gunter:CA [4 articles] Export

msakai's tags