tag :: haskell | BibSonomy

bookmarks (hide)939
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1A Fistful of Automata | Iago Leal
https://iagoleal.com/posts/automata-monads/
5 months ago by @bshanks
show all tags
automata
dfa
haskell
monad
nfa
automatadfahaskellmonadnfa
(0)
copydelete
- community post
- history of this post
1safe-money: Money in the type system where it belongs
https://web.archive.org/web/20211014094900/https://ren.zone/articles/safe-money
7 months ago by @bshanks
show all tags
haskell
money
haskellmoney
(0)
copydelete
- community post
- history of this post
1Pair Programming with ChatGPT & Haskell | by Chris Smith | Jan, 2023 | Medium
https://cdsmithus.medium.com/pair-programming-with-chatgpt-haskell-1c4490b71da6
a year ago by @bshanks
show all tags
ai
code
gpt
haskell
program
aicodegpthaskellprogram
(0)
copydelete
- community post
- history of this post
1Tutorial: `forall` in Haskell | Wasp
https://wasp-lang.dev/blog/2021/09/01/haskell-forall-tutorial
a year ago by @bshanks
show all tags
forall
haskell
forallhaskell
(0)
copydelete
- community post
- history of this post
1Algebra-Driven Design: Elegant Software from Simple Building Blocks
https://algebradriven.design/
2 years ago by @bshanks
show all tags
algebra
equation
haskell
algebraequationhaskell
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
3
⟩
⟩⟩

publications (hide)154
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Generic Programming
R. Backhouse, and J. Gibbons (Eds.) Lecture Notes in Computer Science Springer, Berlin, (2003)
5 years ago by @gdmcbain
show all tags
68-04-computer-science-explicit-machine-computation-and-programs
68n18-functional-programming-and-lambda-calculus
haskell
68-04-computer-science-explicit-machine-computation-and-programs68n18-functional-programming-and-lambda-calculushaskell
(0)
copydeleteadd this publication to your clipboard
5Generalising Monads to Arrows
J. Hughes. Science of Computer Programming, 37 (1-3): 67--111 (May 2000)
5 years ago by @gdmcbain
show all tags
18c20-algebras-and-kleisli-categories-associated-with-monads
18c50-categorical-semantics-of-formal-languages
68n18-functional-programming-and-lambda-calculus
haskell
18c20-algebras-and-kleisli-categories-associated-with-monads18c50-categorical-semantics-of-formal-languages68n18-functional-programming-and-lambda-calculushaskell
(0)
copydeleteadd this publication to your clipboard
1Programming with Arrows
J. Hughes. 3622, chapter 2, page 73--129. Springer Berlin Heidelberg, Berlin, Heidelberg, (2005)
5 years ago by @gdmcbain
show all tags
18c20-algebras-and-kleisli-categories-associated-with-monads
68n18-functional-programming-and-lambda-calculus
haskell
18c20-algebras-and-kleisli-categories-associated-with-monads68n18-functional-programming-and-lambda-calculushaskell
(0)
copydeleteadd this publication to your clipboard
1Build Systems à La Carte
A. Mokhov, N. Mitchell, and S. Peyton Jones. Proc. ACM Program. Lang., 2 (ICFP): 79:1--79:29 (July 2018)
6 years ago by @gron
show all tags
Ant
Bazel
BuildSystem
Concurrency
Dependencies
Haskell
Make
Scheduling
AntBazelBuildSystemConcurrencyDependenciesHaskellMakeScheduling
(0)
copydeleteadd this publication to your clipboard
1Bulk types with class
S. Peyton Jones. In Proceedings of the Second Haskell Workshop, (September 1996)
6 years ago by @gron
show all tags
BulkTypes
Collections
Haskell
Lists
Maps
BulkTypesCollectionsHaskellListsMaps
(0)
copydeleteadd this publication to your clipboard
2Associated Types with Class
M. Chakravarty, G. Keller, S. Peyton Jones, and S. Marlow. Proceedings of the 32Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, page 1--13. ACM, (2005)
6 years ago by @gron
show all tags
Haskell
LanguageDesign
Polymorphism
TypeClasses
Types
HaskellLanguageDesignPolymorphismTypeClassesTypes
(0)
copydeleteadd this publication to your clipboard
6Haskell: The Craft of Functional Programming
S. Thompson. Addison-Wesley, Harlow, England, Second edition, (Mar 29, 1999)
7 years ago by @gdmcbain
show all tags
haskell
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
haskell68n15-programming-languages68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
1The Principal Type-Scheme of an Object in Combinatory Logic
R. Hindley. Transactions of the American Mathematical Society, (1969)
7 years ago by @gdmcbain
show all tags
haskell
haskell
(0)
copydeleteadd this publication to your clipboard
2Call-pattern specialisation for Haskell programs
S. Peyton Jones. Proceedings of the 12th ACM SIGPLAN international conference on Functional programming, page 327--337. New York, NY, USA, ACM, (2007)
7 years ago by @gdmcbain
show all tags
haskell
68n18-functional-programming-and-lambda-calculus
68n20-compilers-and-interpreters
haskell68n18-functional-programming-and-lambda-calculus68n20-compilers-and-interpreters
(0)
copydeleteadd this publication to your clipboard
2Haskell : the craft of functional programming
S. Thompson. Addison Wesley, 3 edition, (Oct 2, 2011)
7 years ago by @gdmcbain
show all tags
haskell
68n18-functional-programming-and-lambda-calculus
haskell68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
2The Haskell Road to Logic, Maths and Programming
K. Doets, and J. Eijck. King's College Publications, (May 7, 2004)
7 years ago by @gdmcbain
show all tags
03-04-mathematical-logic-and-foundations-machine-computation-and-programs,
haskell
68n18-functional-programming-and-lambda-calculus
03-01-mathematical-logic-and-foundations-instructional-exposition
03-04-mathematical-logic-and-foundations-machine-computation-and-programs,haskell68n18-functional-programming-and-lambda-calculus03-01-mathematical-logic-and-foundations-instructional-exposition
(0)
copydeleteadd this publication to your clipboard
5Programming in Haskell
G. Hutton. Cambridge University Press, (Jan 15, 2007)
7 years ago by @gdmcbain
show all tags
haskell
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
haskell68n15-programming-languages68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
2An Introduction to Functional Programming Systems using Haskell
A. Davie. Cambridge Computer Science Texts Cambridge University Press, (1992)
7 years ago by @gdmcbain
show all tags
haskell
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
haskell68n15-programming-languages68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
4The Haskell School of Expression : Learning Functional Programming through Multimedia
P. Hudak. Cambridge University Press, 1 edition, (Feb 28, 2000)
7 years ago by @gdmcbain
show all tags
haskell
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
haskell68n15-programming-languages68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
1An Introduction to Computing with Haskell
M. Chakravarty, and G. Keller. French Forest, (2002)
7 years ago by @gdmcbain
show all tags
haskell
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
68-01-computer-science-instructional-exposition
97p40-mathematics-education-programming-languages
97p50-mathematics-education-programming-techniques
haskell68n15-programming-languages68n18-functional-programming-and-lambda-calculus68-01-computer-science-instructional-exposition97p40-mathematics-education-programming-languages97p50-mathematics-education-programming-techniques
(0)
copydeleteadd this publication to your clipboard
2Parallel and Concurrent Programming in Haskell : Techniques for Multicore and Multithreaded Programming
S. Marlow. (2013)
7 years ago by @gdmcbain
show all tags
haskell
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
65y05-parallel-computation
68q85-models-and-methods-for-concurrent-and-distributed-computing
haskell68n15-programming-languages68n18-functional-programming-and-lambda-calculus65y05-parallel-computation68q85-models-and-methods-for-concurrent-and-distributed-computing
(0)
copydeleteadd this publication to your clipboard
1Comprehending Monads
P. Wadler. Mathematical Structures in Computer Science, 2 (04): 461+ (Mar 4, 2009)
7 years ago by @gdmcbain
show all tags
haskell
68n18-functional-programming-and-lambda-calculus
18-01-category-theory-introductory-exposition
haskell68n18-functional-programming-and-lambda-calculus18-01-category-theory-introductory-exposition
(0)
copydeleteadd this publication to your clipboard
4Push-pull Functional Reactive Programming
C. Elliott. Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell, page 25--36. New York, NY, USA, ACM, (2009)
7 years ago by @gdmcbain
show all tags
haskell
68n18-functional-programming-and-lambda-calculus
frp
haskell68n18-functional-programming-and-lambda-calculusfrp
(0)
copydeleteadd this publication to your clipboard
2Haskell High Performance Programming : Boost the Performance of your Haskell Applications using Optimization, Concurrency, and Parallel Programming
S. Thomasson. (2016)
7 years ago by @gdmcbain
show all tags
68q10-modes-of-computation,
haskell
65y05-parallel-computation
68q85-models-and-methods-for-concurrent-and-distributed-computing
68w10-parallel-algorithms
68q10-modes-of-computation,haskell65y05-parallel-computation68q85-models-and-methods-for-concurrent-and-distributed-computing68w10-parallel-algorithms
(0)
copydeleteadd this publication to your clipboard
1Translating Haskell to Isabelle
P. Torrini, C. Lüth, C. Maeder, and T. Mossakowski. Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, page 178–193. Uni Kaiserslautern, (2007)
8 years ago by @tillmo
show all tags
HOLCF
Haskell
Isabelle
HOLCFHaskellIsabelle
(0)
copydeleteadd this publication to your clipboard

BibSonomy

bookmarks (hide)939
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

1A Fistful of Automata | Iago Leal

1safe-money: Money in the type system where it belongs

1Pair Programming with ChatGPT & Haskell | by Chris Smith | Jan, 2023 | Medium

1Tutorial: `forall` in Haskell | Wasp

1Algebra-Driven Design: Elegant Software from Simple Building Blocks

publications (hide)154
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

1Generic Programming

5Generalising Monads to Arrows

1Programming with Arrows

1Build Systems à La Carte

1Bulk types with class

2Associated Types with Class

6Haskell: The Craft of Functional Programming

1The Principal Type-Scheme of an Object in Combinatory Logic

2Call-pattern specialisation for Haskell programs

2Haskell : the craft of functional programming

2The Haskell Road to Logic, Maths and Programming

5Programming in Haskell

2An Introduction to Functional Programming Systems using Haskell

4The Haskell School of Expression : Learning Functional Programming through Multimedia

1An Introduction to Computing with Haskell

2Parallel and Concurrent Programming in Haskell : Techniques for Multicore and Multithreaded Programming

1Comprehending Monads

4Push-pull Functional Reactive Programming

2Haskell High Performance Programming : Boost the Performance of your Haskell Applications using Optimization, Concurrency, and Parallel Programming

1Translating Haskell to Isabelle

browse

related tags

similar tags

bookmarks (hide)939 displayallbookmarks onlybookmarks per page5102050100 sort byadded attitle RSSBibTeXXML

publications (hide)154 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

browse

related tags

similar tags

bookmarks (hide)939
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

publications (hide)154
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...