draganigajic's dsl [10 articles] Export Sort

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

Hide details

	Finally Tagless, Partially Evaluated [My Copy] Programming Languages and Systems (2009), pp. 222-238. by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan posted to dsl fp metaprogramming by draganigajic on 2008-09-15 17:10:52 as along with 4 people and 1 group pedagand keigoi msakai nominolo ConcertRG
	Dynamic applications from the ground up [My Copy] In Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell (2005), pp. 27-38. by Don Stewart, Manuel M. Chakravarty posted to dsl haskell by draganigajic on 2008-09-15 17:00:59 as along with 7 people bfraser hamish JeffreyPalmer voigt byorgey jpbernardy pedagand
	Techniques for embedding postfix languages in Haskell [My Copy] In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 105-113. by Chris Okasaki posted to dsl haskell by draganigajic on 2008-09-15 16:49:59 as along with 2 people mstone pedagand
	An embedded domain-specific language for type-safe server-side web scripting [My Copy] ACM Trans. Internet Technol., Vol. 5, No. 1. (February 2005), pp. 1-46. by Peter Thiemann posted to dsl haskell by draganigajic on 2008-09-15 16:39:51 as along with 6 people and 2 groups frangaiz greenrd JeffreyPalmer jipibanf stagediver pedagand onekin SRG_at_UCD
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted to compiler dsl by draganigajic on 2008-09-15 16:23:26 as along with 13 people and 2 groups pedagand sourada twleung dherman jacob JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc jimburton dfisher NU-PRL Lambda the Ultimate
	Modular Domain Specific Languages and Tools [My Copy] In Proceedings: Fifth International Conference on Software Reuse (1998), pp. 134-142. by Paul Hudak edited by P. Devanbu, J. Poulin posted to dsl haskell by draganigajic on 2008-09-15 16:23:06 as along with 8 people and 2 groups JacquesC hamish JeffreyPalmer cedricboidin stagediver bunge mldechert jimburton NU-PRL Lambda the Ultimate
	Template meta-programming for haskell [My Copy] (2002) by T. Sheard, S. Jones posted to dsl haskell metaprogramming by draganigajic on 2008-09-15 16:12:40 as along with 4 people and 2 groups twleung greenrd cedricboidin namin SRG_at_UCD Lambda the Ultimate
	Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) [My Copy] (April 2008) by O. Kiselyov, W. E. Byrd, D. P. Friedman, C. Shan posted to dsl haskell kanren logic-programming by draganigajic on 2008-09-15 16:10:04 as along with 1 person and 1 group namin Lambda the Ultimate
	[duplicate] DSL Implementation in MetaOCaml, Template Haskell, and C++ [My Copy] (2004) by K. Czarnecki, J. O'Donnel, J. Striegnitz, W. Taha posted to dsl by draganigajic on 2008-09-15 16:05:46 as along with 1 person and 1 group jimburton Lambda the Ultimate
	Embedding an Interpreted Language Using Higher-Order Functions and Types [My Copy] by N. Ramsey posted to dsl by draganigajic on 2008-09-15 16:05:17 as along with 1 person and 2 groups namin functional programming Lambda the Ultimate

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

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

haskell	79
monads	20
types	18
category-theory	18
fp	18
dependent-types	14
type-theory	11
dsl	10
concurrency	10
generics	9
frp	9
type-inference	5
unfold	5
tutorial	4
vhdl	4
proof	4
comonads	4
typeclasses	4
semantics	4
parallel	4
arrows	4
gadt	4
stm	4
combinators	3
reactive	3
codata	3
curry-howard	3
book	3
lava	3
fold	3
introduction	3
parser	3
algebra	2
logic	2
os	2
metaprogramming	2
designpattern	2
fromspl	2
phantom	2
logic-programming	2
lambda-calculus	2
lisp	2
ml	2
map-reduce	2
unification	2
fpga	2
scheme	2
coalgebra	2
dataflow	2
datatype	2
functors	2
testing	2
optimization	2
modules	2
packrat	1
gc	1
javascript	1
multi-core	1
aop	1
graph	1
math	1
asic	1
p2p	1
applicativefunctors	1
finance	1
cps	1
education	1
hindley-milner	1
agda	1
kanren	1
security	1
ocaml	1
threads	1
compiler	1
zipper	1
state-machines	1
dht	1
adjoint	1
total	1
polymorphism	1
internet	1
tangible	1
p-logic	1
latticetheory	1
iterator	1
event	1
fromsclv	1
corecursion	1
html	1
network	1
system-f	1
algorithms	1
transformers	1
epigram	1
library	1
grid	1
adaptive	1
n-categories	1
deforestation	1
oop	1
probability	1
syntax	1
chord	1
obj3	1
origami	1
attribute-grammars	1
coinduction	1
unparsers	1

draganigajic's dsl [10 articles] Export Sort

draganigajic's tags