gdmcbain > 68n18-functional-programming-and-lambda-calculus

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

1Divisible and the Monoidal Quartet - The Life Monadic
https://duplode.github.io/posts/divisible-and-the-monoidal-quartet.html
3 years ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
haskell
68n18-functional-programming-and-lambda-calculushaskell
(0)
copydelete
- community post
- history of this post
2Learn You An Agda - Introduction
http://learnyouanagda.liamoc.net/pages/introduction.html
3 years ago by @gdmcbain
show all tags
03b15-higher-order-logic-type-theory
68n18-functional-programming-and-lambda-calculus
agda
haskell
03b15-higher-order-logic-type-theory68n18-functional-programming-and-lambda-calculusagdahaskell
(0)
copydelete
- community post
- history of this post
1Functors, Vectors, and Quantum Circuits - Hey There Buddo!
http://www.philipzucker.com/functors-and-vectors/
5 years ago by @gdmcbain
show all tags
15-04-linear-algebra-explicit-machine-computation-and-programs
18c50-categorical-semantics-of-formal-languages
68n18-functional-programming-and-lambda-calculus
15-04-linear-algebra-explicit-machine-computation-and-programs18c50-categorical-semantics-of-formal-languages68n18-functional-programming-and-lambda-calculus
(1)
copydelete
- community post
- history of this post
1Hazel, a live functional programming environment featuring typed holes.
http://hazel.org/
5 years ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n18-functional-programming-and-lambda-calculus
(0)
copydelete
- community post
- history of this post
1Learning J
http://www.learningj.com/book.htm
5 years ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n18-functional-programming-and-lambda-calculus
(0)
copydelete
- community post
- history of this post

⟨⟨
⟨
1
2
⟩
⟩⟩

publications (hide)125
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...

1Functional Programming in Lean
D. Christiansen. Microsoft, (2023)
8 days ago by @gdmcbain
show all tags
03b15-higher-order-logic-type-theory
03b35-mechanization-of-proofs-and-logical-operations
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
lean
03b15-higher-order-logic-type-theory03b35-mechanization-of-proofs-and-logical-operations68n15-programming-languages68n18-functional-programming-and-lambda-calculuslean
(0)
copydeleteadd this publication to your clipboard
1Thinking with Types
S. Maguire. Lean, (2018)
3 months ago by @gdmcbain
show all tags
03b15-higher-order-logic-type-theory
68n18-functional-programming-and-lambda-calculus
03b15-higher-order-logic-type-theory68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
1Schreibe dein Programm ! Einführung in die Programmierung
M. Sperber, and H. Klaeren. (January 2024)
4 months ago by @gdmcbain
show all tags
68-01-computer-science-instructional-exposition
68n18-functional-programming-and-lambda-calculus
deutsch
68-01-computer-science-instructional-exposition68n18-functional-programming-and-lambda-calculusdeutsch
(0)
copydeleteadd this publication to your clipboard
1Certainty by Construction
S. Maguire. Lean, (2023)
7 months ago by @gdmcbain
show all tags
03b15-higher-order-logic-type-theory
68n18-functional-programming-and-lambda-calculus
agda
03b15-higher-order-logic-type-theory68n18-functional-programming-and-lambda-calculusagda
(0)
copydeleteadd this publication to your clipboard
2Reason isomorphically!
R. Hinze, and D. James. WGP '10: Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, page 85-96. ACM, (September 2010)
7 months ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
1Functional Reactive Programming: In search of the mythical von Neumann machine
S. Blackheath, and A. Jones. Manning, (2015)
7 months ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n19-other-programming-paradigms
frp
68n18-functional-programming-and-lambda-calculus68n19-other-programming-paradigmsfrp
(0)
copydeleteadd this publication to your clipboard
2Practical principled FRP: forget the past, change the future, FRPNow!
A. van der Ploeg, and K. Claessen. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ACM, (August 2015)
8 months ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n19-other-programming-paradigms
Haskell
frp
68n18-functional-programming-and-lambda-calculus68n19-other-programming-paradigmsHaskellfrp
(0)
copydeleteadd this publication to your clipboard
1Practical Functional Reactive Programming
J. Peterson, K. Roe, and A. Cleary. (2013)
8 months ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n19-other-programming-paradigms
frp
haskell
68n18-functional-programming-and-lambda-calculus68n19-other-programming-paradigmsfrphaskell
(1)
copydeleteadd this publication to your clipboard
3Embedding Dynamic Dataflow in a Call-by-Value Language
G. Cooper, and S. Krishnamurthi. Programming Languages and Systems, volume 3924 of Lecture Notes in Computer Science, page 294--308. Berlin, Heidelberg, Springer, (2006)
8 months ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n19-other-programming-paradigms
frp
scheme
68n18-functional-programming-and-lambda-calculus68n19-other-programming-paradigmsfrpscheme
(0)
copydeleteadd this publication to your clipboard
2Reactive Game Engine Programming for STEM Outreach
A. Cleary, L. Vandenbergh, and J. Peterson. Proceedings of the 46th ACM Technical Symposium on Computer Science Education, ACM, (February 2015)
8 months ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n19-other-programming-paradigms
frp
python
68n18-functional-programming-and-lambda-calculus68n19-other-programming-paradigmsfrppython
(1)
copydeleteadd this publication to your clipboard
1PyFRP: Function Reactive Programming in Python
J. Peterson, A. Cleary, and K. Roe. (2015)
8 months ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
frp
python
68n19-other-programming-paradigms
68n18-functional-programming-and-lambda-calculusfrppython68n19-other-programming-paradigms
(1)
copydeleteadd this publication to your clipboard
5Generalising monads to arrows.
J. Hughes. Science of Computer Programming, 37 (1-3): 67-111 (2000)
8 months ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
1Genuinely functional user interfaces
A. Courtney, and C. Elliott. Haskell Workshop, page 41-69. (September 2001)
9 months ago by @gdmcbain
show all tags
00a72-general-methods-of-simulation
68n18-functional-programming-and-lambda-calculus
frp
haskell
00a72-general-methods-of-simulation68n18-functional-programming-and-lambda-calculusfrphaskell
(1)
copydeleteadd this publication to your clipboard
2Arrows, Robots, and Functional Reactive Programming
P. Hudak, A. Courtney, H. Nilsson, and J. Peterson. volume 2638 of Lecture Notes in Computer Science, page 159--187. Springer, Berlin, (2003)
9 months ago by @gdmcbain
show all tags
00a71-theory-of-mathematical-modeling
00a72-general-methods-of-simulation
68n18-functional-programming-and-lambda-calculus
68u20-computational-simulation
haskell
yampa
00a71-theory-of-mathematical-modeling00a72-general-methods-of-simulation68n18-functional-programming-and-lambda-calculus68u20-computational-simulationhaskellyampa
(0)
copydeleteadd this publication to your clipboard
2The Functional Machine Calculus
W. Heijltjes. (2022)cite arxiv:2212.08177Comment: 24 pages. To appear in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS).
11 months ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
1Foundations of F#
R. Pickering. Apress, New York, First edition, (2007)
a year ago by @gdmcbain
show all tags
68-02-computer-science-research-exposition
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
fsharp
68-02-computer-science-research-exposition68n15-programming-languages68n18-functional-programming-and-lambda-calculusfsharp
(0)
copydeleteadd this publication to your clipboard
1Beginning F# 4.0
R. Pickering, and K. Eason. Apress, New York, Second edition, (2016)
a year ago by @gdmcbain
show all tags
68-01-computer-science-instructional-exposition
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
fsharp
68-01-computer-science-instructional-exposition68n15-programming-languages68n18-functional-programming-and-lambda-calculusfsharp
(0)
copydeleteadd this publication to your clipboard
3An introduction to lambda calculi for computer scientists
C. Hankin. Texts in Computing King's College Publ., London, (2004)
3 years ago by @gdmcbain
show all tags
03-01-mathematical-logic-and-foundations-instructional-exposition
03b40-combinatory-logic-and-lambda-calculus
68-01-computer-science-instructional-exposition
68n18-functional-programming-and-lambda-calculus
03-01-mathematical-logic-and-foundations-instructional-exposition03b40-combinatory-logic-and-lambda-calculus68-01-computer-science-instructional-exposition68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
1Algebra-Driven Design: Elegant Solutions from Simple Building Blocks
S. Maguire. Lean, First edition, (September 2020)
4 years ago by @gdmcbain
show all tags
68n18-functional-programming-and-lambda-calculus
68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard
1Thoughts about Formality
V. Maia. Medium, (August 2020)
4 years ago by @gdmcbain
show all tags
03b15-higher-order-logic-type-theory
03f03-proof-theory-general
68n15-programming-languages
68n18-functional-programming-and-lambda-calculus
03b15-higher-order-logic-type-theory03f03-proof-theory-general68n15-programming-languages68n18-functional-programming-and-lambda-calculus
(0)
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
2
3
⟩
⟩⟩

BibSonomy

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

1Divisible and the Monoidal Quartet - The Life Monadic

2Learn You An Agda - Introduction

1Functors, Vectors, and Quantum Circuits - Hey There Buddo!

1Hazel, a live functional programming environment featuring typed holes.

1Learning J

publications (hide)125
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...

1Functional Programming in Lean

1Thinking with Types

1Schreibe dein Programm ! Einführung in die Programmierung

1Certainty by Construction

2Reason isomorphically!

1Functional Reactive Programming: In search of the mythical von Neumann machine

2Practical principled FRP: forget the past, change the future, FRPNow!

1Practical Functional Reactive Programming

3Embedding Dynamic Dataflow in a Call-by-Value Language

2Reactive Game Engine Programming for STEM Outreach

1PyFRP: Function Reactive Programming in Python

5Generalising monads to arrows.

1Genuinely functional user interfaces

2Arrows, Robots, and Functional Reactive Programming

2The Functional Machine Calculus

1Foundations of F#

1Beginning F# 4.0

3An introduction to lambda calculi for computer scientists

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

1Thoughts about Formality

browse

related tags

concepts

tags

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

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

browse

related tags

tags

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

publications (hide)125
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...