msakai's compiler [3 articles] Export

Recent papers added to msakai's library classified by the tag compiler. You can also see everyone's compiler.

	A type-preserving compiler in Haskell [My Copy] In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008), pp. 75-86. by Louis J. Guillemette, Stefan Monnier posted to compiler haskell types by msakai on 2008-12-24 02:39:31 as along with 2 people shimomura keigoi
	Agate–an Agda-to-Haskell compiler [My Copy] (5 October 2006) by Hiroyuki Ozaki, Makoto Takeyama, Yoshiki Kinoshita posted to agda compiler haskell by msakai on 2008-07-07 10:03:25 as along with 1 person shimomura
	The essence of compiling with continuations [My Copy] In PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation, Vol. 28, No. 6. (June 1993), pp. 237-247. by Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen posted to compiler continuation by msakai on 2008-05-25 09:58:08 as along with 2 people mattmight dsilva

Note: You may cite this page as: http://www.citeulike.org/user/msakai/tag/compiler

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.

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