Group: NU-PRL - with tag haskell [37 articles] Export

Recent papers posted by members of the NU-PRL group with tag haskell

	Haskell 98 Language and Libraries: The Revised Report [My Copy] (05 May 2003) by Simon P. Jones posted to haskell by samth to the group NU-PRL on 2007-09-11 03:11:57 as along with 2 people tov jimburton
	Generic unification via two-level types and parameterized modules [My Copy] In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, Vol. 36, No. 10. (October 2001), pp. 86-97. by Tim Sheard posted to generic-programming haskell monad two-level-types unification by dalev to the group NU-PRL on 2005-08-02 16:20:41 as along with 3 people draganigajic dherman pedagand
	Faking it Simulating dependent types in Haskell [My Copy] J. Funct. Program., Vol. 12, No. 5. (July 2002), pp. 375-392. by Conor Mcbride posted to dependent-types haskell type-classes by dalev to the group NU-PRL on 2005-08-02 04:10:32 as along with 2 people keigoi americovargas
	A poor man's concurrency monad [My Copy] J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323. by Koen Claessen posted to concurrency haskell monad by dalev to the group NU-PRL on 2005-08-02 04:07:16 as along with 5 people and 1 group jcreed draganigajic keigoi janschaefer pedagand TU-KL-SoftwareTechnologyGroup
	Macros and Preprocessing in Haskell [My Copy] (1999) by K. Wansbrough posted to extensible-syntax haskell macros meta-programming by dherman to the group NU-PRL on 2005-05-09 15:51:06 as along with 4 people jrw zednenem ryanc dfisher
	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&\#228;mmel, Keean Schupke posted to collections haskell type-theory by JacquesC to the group NU-PRL on 2005-05-03 03:40:24 as along with 11 people pedagand keigoi yallop spl tov iff americovargas msakai marcinzalewski shimomura jimburton
	Bananas in space: extending fold and unfold to exponential types [My Copy] In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture (1995), pp. 324-333. by Erik Meijer, Graham Hutton posted to category-theory haskell type-theory by JacquesC to the group NU-PRL on 2005-05-01 14:32:30 as along with 6 people blog01 jyasskin voigt msakai dmitri83 spl
	Bridging the gulf: a common intermediate language for ML and Haskell [My Copy] In POPL '98: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1998), pp. 49-61. by Simon P. Jones, Mark Shields, John Launchbury, Andrew Tolmach posted to compilers haskell ml by JacquesC to the group NU-PRL on 2005-04-24 18:47:39 as along with 5 people JeffreyPalmer rwtodd voigt spl kowey
	Imperative functional programming [My Copy] In POPL '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1993), pp. 71-84. by S. L. P. Simon, Philip Wadler posted to haskell monads by samth to the group NU-PRL on 2005-02-21 16:05:01 as along with 2 people cedricboidin robennals
	$My PDF l&\#228;mmel_03_scrap.pdf$ Scrap your boilerplate: a practical design pattern for generic programming [My Copy] In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, Vol. 38, No. 3. (March 2003), pp. 26-37. by Ralf L&\#228;mmel, Simon P. Jones posted to haskell polytypic type-classes by samth to the group NU-PRL on 2005-02-21 16:01:32 as along with 5 people and 1 group spl mkis greenrd yallop americovargas SRG_at_UCD
	$My PDF l&\#228;mmel_04_scrap.pdf$ Scrap more boilerplate: reflection, zips, and generalised casts [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 244-255. by Ralf L&\#228;mmel, Simon P. Jones posted to haskell polytypic type-classes by samth to the group NU-PRL on 2005-02-21 16:01:21 as along with 4 people and 1 group greenrd yallop spl americovargas SRG_at_UCD
	Generics for the masses [My Copy] In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, Vol. 39, No. 9. (September 2004), pp. 236-243. by Ralf Hinze posted to haskell polytypic type-classes by samth to the group NU-PRL on 2005-02-21 16:01:12 as along with 6 people draganigajic ancechu yallop spl bringert pedagand
	Associated types with class [My Copy] In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages (2005), pp. 1-13. by Manuel M. T. Chakravarty, Gabriele Keller, Simon P. Jones, Simon Marlow posted to haskell type-classes by samth to the group NU-PRL on 2005-02-21 16:00:36 as along with 10 people and 1 group greenrd zednenem bec voigt msakai bonotake spl gkuan americovargas jpbernardy SRG_at_UCD
	Views: a way for pattern matching to cohabit with data abstraction [My Copy] In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1987), pp. 307-313. by P. Wadler posted to haskell pattern-matching by samth to the group NU-PRL on 2005-02-17 22:51:40 as along with 7 people pedagand fvogels jimburton dherman robennals dfisher spl
	Theorems for Free! [My Copy] In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359. by Philip Wadler posted to haskell programming type-theory by samth to the group NU-PRL on 2005-01-10 16:15:32 as along with 17 people and 1 group jimburton pedagand draganigajic dherman JacquesC greenrd rwtodd zednenem msakai lomeo ryanc tov jwm0123 KarlKlose cdiggins dfisher americovargas SRG_at_UCD
	A monadic combinator compiler compiler [My Copy] (2001) by C. Camarao, L. Figueiredo posted to combinator compilers haskell monads by JacquesC to the group NU-PRL on 2005-01-03 00:31:13 along with 4 people twleung JeffreyPalmer tautologico zednenem
	Codata and Comonads in Haskell [My Copy] (1999) by Richard Kieburtz posted to adt haskell higher-rank-polymorphism monads by dherman to the group NU-PRL on 2004-12-29 16:04:10 along with 8 people and 1 group ama08r JacquesC greenrd cedricboidin zednenem msakai bonotake mcclurmc SRG_at_UCD
	Recursion is a computational effect [My Copy] (2000) by D. Friedman, A. Sabry posted to effects haskell monads recursion-effect by dherman to the group NU-PRL on 2004-12-29 03:33:27 along with 4 people and 1 group twleung JacquesC greenrd jrw SRG_at_UCD
	How to make ad-hoc polymorphism less ad hoc [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 60-76. by P. Wadler, S. Blott posted to haskell type-classes by dherman to the group NU-PRL on 2004-12-25 21:35:17 along with 9 people and 1 group pedagand draganigajic JacquesC yallop robennals ben_moseley dwehr RalfMitschke jpbernardy complogic
	Type Classes in Haskell [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138. by Cordelia V. Hall, Kevin Hammond, S. L. P. Simon, Philip L. Wadler posted to haskell type-classes by dherman to the group NU-PRL on 2004-12-25 21:30:20 along with 4 people and 1 group robennals rgb tov bendiken pileWorks
	Lightweight Extensible Records for Haskell [My Copy] (1999) by M. Jones, S. Jones posted to extensibility extensible-records haskell records by dherman to the group NU-PRL on 2004-12-24 03:12:48 along with 5 people and 1 group greenrd msakai ryanc ben_moseley americovargas SRG_at_UCD
	Modeling quantum computing in Haskell [My Copy] In Haskell '03: Proceedings of the ACM SIGPLAN workshop on Haskell (2003), pp. 39-49. by Amr Sabry posted to haskell quantum-programming by dherman to the group NU-PRL on 2004-12-23 17:54:46
	Fine Control of Demand in Haskell [My Copy] In MPC '02: Proceedings of the 6th International Conference on Mathematics of Program Construction (2002), pp. 68-93. by William Harrison, Tim Sheard, James Hook posted to haskell laziness by dherman to the group NU-PRL on 2004-12-23 17:49:47
	Type Classes with Functional Dependencies [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000) by Mark P. Jones posted to functional-dependencies haskell type-classes types by dherman to the group NU-PRL on 2004-12-23 16:59:01 along with 10 people and 2 groups draganigajic twleung greenrd cedricboidin msakai bonotake tov calvins BMeph jimburton SRG_at_UCD Lambda the Ultimate
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted to compiler dsl haskell staged-programming by dherman to the group NU-PRL on 2004-12-23 15:07:42 along with 13 people and 1 group pedagand draganigajic sourada twleung jacob JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc jimburton dfisher Lambda the Ultimate
	Faking it---simulating dependent types in Haskell [My Copy] (2001) by C. Mcbride posted to dependent-types haskell type-classes by dherman to the group NU-PRL on 2004-12-23 15:02:05 along with 8 people and 1 group samth pedagand draganigajic twleung JacquesC greenrd tov sclv SRG_at_UCD
	First class modules for Haskell [My Copy] (2002) by M. Shields, S. Jones posted to haskell modules by dherman to the group NU-PRL on 2004-12-23 02:49:15 along with 1 person zednenem
	Projections for Strictness Analysis [My Copy] In Functional Programming Languages and Computer Architecture, Vol. 274 (1987), pp. 385-407. by Philip Wadler, R. J. M. Hughes edited by Gilles Kahn posted to haskell laziness strictness-analysis by dherman to the group NU-PRL on 2004-12-21 00:47:25
	Representing Demand by Partial Projections [My Copy] Journal of Functional Programming, Vol. 6, No. 4. (1996), pp. 563-585. by John Launchbury, Gebreselassie Baraki posted to haskell laziness strictness-analysis by dherman to the group NU-PRL on 2004-12-21 00:47:07
	Automated soundness checking of a programming logic for Haskell [My Copy] by Richard Kieburtz posted to haskell laziness p-logic by dherman to the group NU-PRL on 2004-12-20 19:46:11
	P-logic: property verification for Haskell programs [My Copy] by Richard B. Kieburtz posted to haskell laziness p-logic by dherman to the group NU-PRL on 2004-12-20 19:45:46 along with 2 people draganigajic pedagand
	Modeling Fine Control of Demand in Haskell [My Copy] by Tim Sheard, William Harrison, James Hook posted to haskell laziness p-logic by dherman to the group NU-PRL on 2004-12-20 19:44:57
	Fine Control of Demand in Haskell [My Copy] (2002) by W. Harrison, T. Sheard, J. Hook posted to haskell laziness p-logic by dherman to the group NU-PRL on 2004-12-20 19:43:47
	Optimising Embedded DSLs using Template [My Copy] by Haskell S. Seefried posted to dsl haskell staged-programming template-haskell by dherman to the group NU-PRL on 2004-12-12 04:21:02 along with 3 people jacob cedricboidin zednenem
	Template meta-programming for Haskell [My Copy] In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 1-16. by Tim Sheard, Simon P. Jones posted to extensible-syntax haskell template-haskell by dherman to the group NU-PRL on 2004-12-09 19:13:43 along with 8 people spl samth twleung JacquesC ryanc bringert wtribbey jimburton
	Template meta-programming for Haskell [My Copy] SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75. by Tim Sheard, Simon P. Jones posted to haskell macros by samth to the group NU-PRL on 2004-12-01 22:38:37 along with 9 people and 1 group shimomura marcin msakai kozima keigoi TTSY dhag mcclurmc jpbernardy complogic
	Imperative Functional Programming [My Copy] In Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina (1993), pp. 71-84. by S. L. P. Simon, Philip Wadler posted to haskell monads programming by samth to the group NU-PRL on 2004-11-30 19:36:15 along with 7 people jacob cedricboidin pintman lomeo pile jwm0123 glaubersp

Note: You may cite this page as: http://www.citeulike.org/group/8/tag/haskell

functional-programming	148
monads	111
types	79
type-classes	74
functional	61
concurrency	56
programming	56
generics	41
category-theory	31
generic-programming	31
dsl	29
polymorphism	28
laziness	26
pl	25
compilers	24
languages	23
computation	22
optimization	22
dependent-types	20
typeclasses	20
dsel	19
program-transformation	18
type-theory	18
datatype-generic	17
lazy-evaluation	17
algorithms	16
functionalprogramming	16
ml	16
monad	16
fp	14
free-theorems	13
parametricity	13
semantics	13
combinators	12
compiler	12
frp	12
seq	12
arrows	11
deforestation	11
functional-dependencies	11
ghc	11
metaprogramming	11
type	11
formal-methods	10
logic-programming	10
logical-relations	10
rank-2	10
records	10
stm	10
icfp08	9
lava	9
p-logic	9
parallel	9
reactive	9
selective-strictness	9
type-inference	9
denotational-semantics	8
extensibility	8
gadts	8
language	8
multilang	8
printed	8
shortcut-deforestation	8
strict-evaluation	8
syb	8
testing	8
verification	8
algorithm	7
comonads	7
data-structures	7
hdl	7
lambda-calculus	7
logic-design	7
modules	7
side-effects	7
template-haskell	7
theory	7
applications	6
expression-problem	6
functional-reactive-programming	6
functional-state	6
fundeps	6
implicit-context	6
macros	6
mathematics	6
meta-programming	6
monadic-translators	6
operating-systems	6
parsers	6
parsing	6
polytypic	6
submit-incremental	6
typing	6
continuations	5
contracts	5
gui	5
os	5
parser	5
strictness-analysis	5
transactional-memory	5

Group: NU-PRL - with tag haskell [37 articles] Export

Related Tags