keigoi's functionalprogramming [36 articles] Export

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

Hide details

	Unembedding domain-specific languages [My Copy] In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 37-48. by Robert Atkey, Sam Lindley, Jeremy Yallop posted to haskell functionalprogramming embeddedlanguage by keigoi on 2009-11-05 06:54:13 as along with 2 people jcreed noam_zeilberger
	Simple unification-based type inference for GADTs [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 50-61. by Simon P. Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn posted to functionalprogramming type by keigoi on 2009-07-13 23:44:57 as along with 6 people draganigajic spl bringert shimomura mcclurmc pedagand
	Translucent Abstraction: Safe Views through Invertible Programming (Extended version) [My Copy] by Meng Wang, Jeremy Gibbons, Kazutaka Matsuda posted to functionalprogramming by keigoi on 2009-07-08 03:59:35 as
	Principal type-schemes for functional programs [My Copy] In POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1982), pp. 207-212. by Luis Damas, Robin Milner posted to functionalprogramming type by keigoi on 2009-06-10 02:49:59 as along with 9 people ddemange mattmight spl draganigajic tautologico gkuan shimomura pedagand zuleger
	Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine [My Copy] Journal of Functional Programming, Vol. 2, No. 02. (1992), pp. 127-202. by Simon posted to functionalprogramming implementation by keigoi on 2009-04-15 16:09:46 as
	Formally deriving an STG machine [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 102-112. by Alberto, Ricardo posted to functionalprogramming haskell implementation by keigoi on 2009-04-15 13:08:41 as along with 2 people msakai kalmar
	Continuations, functions and jumps [My Copy] SIGACT News, Vol. 30, No. 2. (1999), pp. 33-42. by Hayo Thielecke posted to continuation functionalprogramming by keigoi on 2009-04-14 15:13:14 as
	Many Holes in Hindley-Milner [My Copy] In ML '08: Proceedings of the 2008 ACM SIGPLAN workshop on ML (2008), pp. 59-68. by Sam Lindley posted to functionalprogramming type by keigoi on 2009-01-04 02:23:19 as
	Flask: staged functional programming for sensor networks [My Copy] SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 335-346. by Geoffrey Mainland, Greg Morrisett, Matt Welsh posted to domainspecific embedded embeddedlanguage functionalprogramming haskell by keigoi on 2008-12-25 12:55:51 as along with 1 person pedagand
	Parametric higher-order abstract syntax for mechanized semantics [My Copy] SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 143-156. by Adam Chlipala posted to functionalprogramming gadt haskell hoas by keigoi on 2008-12-25 00:50:47 as along with 1 person pedagand
	PiLib: A Hosted Language for Pi-Calculus Style Concurrency [My Copy] Domain-Specific Program Generation (2004), pp. 180-195. by Vincent Cremet, Martin Odersky posted to functionalprogramming picalculus scala by keigoi on 2008-12-25 00:38:12 as
	Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem [My Copy] Indagationes Mathematicae (Proceedings), Vol. 75, No. 5. (1972), pp. 381-392. by N. G. de Bruijn posted to debruijn functionalprogramming by keigoi on 2008-12-23 06:40:38 as along with 3 people alec pile tov
	Strongly Typed Heterogeneous Collections [My Copy] In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 96-107. by Oleg Kiselyov, Ralf Lämmel, Keean Schupke posted to functionalprogramming fundeps haskell typeclass by keigoi on 2008-12-09 05:35:59 as along with 11 people and 1 group pedagand JacquesC yallop spl tov iff americovargas msakai marcinzalewski shimomura jimburton NU-PRL
	The essence of functional programming [My Copy] In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14. by Philip Wadler posted to functionalprogramming monad by keigoi on 2008-12-08 07:30:37 as along with 21 people and 3 groups jimburton TobiasAbenius leonardo michaelbanks olegus pedagand draganigajic assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad spl tmiya mstone calvins hayeah frej NU-PRL GroupLens SRL
	Higher-Order Abstract Syntax [My Copy] In PLDI '88: Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation (1988), pp. 199-208. by Frank Pfenning, Conal Elliot posted to functionalprogramming hoas by keigoi on 2008-12-08 06:31:34 as along with 2 people shimomura msakai
	Type Classes with Functional Dependencies [My Copy] In ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems (2000), pp. 230-244. by Mark P. Jones posted to functionalprogramming fundeps typeclass by keigoi on 2008-12-08 05:41:37 as along with 2 people yallop americovargas
	Parameterized Notions of Computation [My Copy] Proceedings of Workshop on Mathematically Structured Functional Programming In MSFP 2006 (July 2006) by Robert Atkey posted to functionalprogramming monad by keigoi on 2008-12-08 04:14:38 as along with 4 people pedagand mstone alec tov
	Programming language challenges in systems codes: why systems programmers still use C, and what to do about it [My Copy] In PLOS '06: Proceedings of the 3rd workshop on Programming languages and operating systems (2006), 9. by Jonathan Shapiro posted to functionalprogramming operatingsystem by keigoi on 2008-11-25 10:06:10 as along with 3 people ama08r leosteinfeld pedagand
	A theory of bisimulation for a fragment of concurrent ML with local names [My Copy] Theoretical Computer Science, Vol. 323, No. 1-3. (September 2004), pp. 1-48. by A. Jeffrey posted to concurrency functionalprogramming by keigoi on 2008-11-17 04:48:01 as
	Comprehending monads [My Copy] In LFP '90: Proceedings of the 1990 ACM conference on LISP and functional programming (1990), pp. 61-78. by Philip Wadler posted to functionalprogramming monad by keigoi on 2008-07-08 18:51:54 as along with 2 people bfraser spl
	Observable Sharing for Functional Circuit Description [My Copy] In ASIAN '99: Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science (1999), pp. 62-73. by Koen Claessen, David Sands posted to domainspecific functionalprogramming haskell by keigoi on 2008-04-23 00:39:55 as along with 1 person msakai
	Finally Tagless, Partially Evaluated [My Copy] Programming Languages and Systems (2009), pp. 222-238. by Jacques Carette, Oleg Kiselyov, Chung-Chieh Shan posted to domainspecific functionalprogramming by keigoi on 2008-04-22 23:38:07 as along with 4 people and 1 group draganigajic pedagand msakai nominolo ConcertRG
	Embedding a Hardware Description Language in Template Haskell [My Copy] Domain-Specific Program Generation (2004), pp. 143-164. by John T. O’donnell posted to functionalprogramming hardware haskell metaprogramming by keigoi on 2008-04-20 05:43:35 as along with 1 person msakai
	Purely functional system configuration management [My Copy] In HOTOS'07: Proceedings of the 11th USENIX workshop on Hot topics in operating systems (2007), pp. 1-6. by Eelco Dolstra, Armijn Hemel posted to configurationmanagement functionalprogramming by keigoi on 2008-04-17 02:20:13 as
	Running the manual: an approach to high-assurance microkernel development [My Copy] In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 60-71. by Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, Manuel M. T. Chakravarty posted to functionalprogramming operatingsystem by keigoi on 2008-04-17 01:54:15 as along with 2 people pedagand mwmarkland
	A principled approach to operating system construction in Haskell [My Copy] SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 116-128. by Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach posted to functionalprogramming operatingsystem by keigoi on 2008-04-17 01:49:43 as along with 2 people ama08r aliguori
	Tag Elimination and Jones-Optimality [My Copy] In PADO '01: Proceedings of the Second Symposium on Programs as Data Objects (2001), pp. 257-275. by Walid Taha, Henning Makholm, John Hughes posted to domainspecific functionalprogramming by keigoi on 2008-04-17 00:17:10 as
	A user-centred approach to functions in excel [My Copy] In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (2003), pp. 165-176. by Simon P. Jones, Alan Blackwell, Margaret Burnett posted to functionalprogramming by keigoi on 2008-02-02 16:01:21 as along with 5 people and 1 group himosqui robertlischke hamish alisonruth msakai SITCRC
	OCaml + XDuce [My Copy] In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 192-200. by Alain Frisch posted to functionalprogramming by keigoi on 2007-07-18 03:04:16 as
	A Simple Solution to Type Specialization [My Copy] Automata, Languages and Programming (1998), 908. by Olivier Danvy posted to functionalprogramming partialevaluation by keigoi on 2007-06-22 06:36:09 as along with 2 people jkominek msakai
	Functional unparsing [My Copy] J. Funct. Program., Vol. 8, No. 6. (November 1998), pp. 621-625. by Olivier Danvy posted to functionalprogramming by keigoi on 2007-06-22 06:32:44 as along with 5 people pedagand draganigajic msakai cognominal spl
	Type-directed partial evaluation [My Copy] In POPL '96: Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1996), pp. 242-257. by Olivier Danvy posted to functionalprogramming typedirected by keigoi on 2007-06-22 06:26:57 as along with 2 people and 1 group dherman JeffreyPalmer NU-PRL
	Functional programming languages for verification tools: a comparison of Standard ML and Haskell [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 7, No. 2. (30 April 2005), pp. 184-194. by Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber posted to functionalprogramming softwareengineering by keigoi on 2007-05-10 14:41:17 as
	Hierarchical modularity [My Copy] ACM Trans. Program. Lang. Syst., Vol. 21, No. 4. (July 1999), pp. 813-847. by Matthias Blume, Andrew W. Appel posted to functionalprogramming modulesystem by keigoi on 2007-04-26 15:37:35 as along with 1 person andreff
	Modular type classes [My Copy] SIGPLAN Not., Vol. 42, No. 1. (January 2007), pp. 63-70. by Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller posted to functionalprogramming modulesystem by keigoi on 2007-04-26 15:04:48 as along with 1 person gkuan
	When is a functional program not a functional program? [My Copy] In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999), pp. 1-7. by John Longley posted to functionalprogramming by keigoi on 2007-04-24 19:50:39 as along with 1 person and 1 group shilad GroupLens

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

concurrency	78
picalculus	77
haskell	40
functionalprogramming	36
causality	19
operationalsemantics	17
distributed	15
softwareengineering	13
session	12
type	12
modelchecking	11
eventstructure	10
embeddedlanguage	9
webapplication	9
gui	8
hoas	8
java	6
metaprogramming	6
visualization	6
web_verification	6
comprehension	5
configurationmanagement	5
context	5
fundeps	5
network	5
programlogic	5
refactoring	5
softwaredesign	5
stringanalysis	5
typeclass	5
abstractinterpretation	4
concurrency-monad	4
domainspecific	4
embedded	4
location	4
logicprogramming	4
maude	4
modallogic	4
monad	4
programming	4
slicing	4
aspectoriented	3
chr	3
coq	3
databasereverse	3
dataflow	3
debruijn	3
implementation	3
javascript	3
lineartype	3
modulesystem	3
operatingsystem	3
programanalysis	3
reliability	3
reverse	3
safe-c	3
tile	3
workflowmanagement	3
ambient	2
categorytheory	2
continuation	2
cyclone	2
flowtype	2
fullabstraction	2
genericprogramming	2
hdautomata	2
modeling	2
refinement	2
rewritinglogic	2
softwareprocess	2
strictnessanalysis	2
subtyping	2
timedautomata	2
typedirected	2
alias	1
binary	1
c	1
cache	1
codeduplication	1
cognitive	1
component	1
continuationserver	1
csp	1
deadlock	1
denotationalsemantics	1
dependency	1
dimensional_analysis	1
dsl	1
duce	1
erlang	1
escapeanalysis	1
expressiveness	1
faulttolerance	1
gadt	1
hardware	1
immutable	1
iospec	1
lowlevel	1
lts	1
memory	1
migration	1
multilanguage	1
object_oriented_programming	1
p2p	1
partialevaluation	1
proofcarrying	1
region	1
resourcebounds	1
resourceusage	1
reuse	1
ruby	1
scala	1
scheme	1
spreadsheet	1
stm	1
survey	1
termrewriting	1
testing	1
timedsystem	1
trs	1
typecast	1
typefunction	1

keigoi's functionalprogramming [36 articles] Export

keigoi's tags