Viewing 0 current events matching “func” by Date.
Sort By: Date | Event Name, Location , Default |
---|---|
No events were found. |
Viewing 17 past events matching “func” by Date.
Sort By: Date | Event Name, Location , Default |
---|---|
Wednesday
Nov 29, 2017
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Monday
Dec 4, 2017
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Wednesday
Dec 13, 2017
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division We'll discuss Chapter 3 and possibly Chapter 4 of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Please try to at least read Chapter 3 and do the exercises. Chapter 4 is a stretch goal. At the meeting anyone will be able to present and contribute to the discussion. PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Monday
Dec 18, 2017
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown We'll discuss Chapter 3 of Pearls of Functional Algorithm Design. Please read it beforehand. You may wish to try running the code examples from the book. At the meeting anyone will be able to present and contribute to the discussion. PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Wednesday
Jan 10, 2018
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Wednesday
Jan 24, 2018
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Monday
Feb 5, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Wednesday
Feb 14, 2018
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Monday
Feb 19, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Monday
Mar 5, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Wednesday
Mar 14, 2018
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Monday
Mar 19, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Monday
Apr 2, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Wednesday
Apr 11, 2018
|
PDX Functional Progamming - Theory Track - Logic and Proof – Collective Agency Division Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Monday
Apr 16, 2018
|
PDX Func Practice Track - Pearls of Functional Algorithm Design – Collective Agency Downtown Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: |
Monday
May 7, 2018
|
PDX Func Practice Track – Collective Agency Downtown Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: Portland Functional Programming Meetup: http://groups.google.com/pdxfunc |
Monday
Jun 4, 2018
|
PDX Func Practice Track – Collective Agency Downtown Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/ PDXFunc is a study/user group exploring functional programming in Portland, Oregon. The group welcomes programmers with any level of experience or interest in any functional language, including Haskell, Lisp, OCaml, Scala, Idris, Agda, as well as using functional techniques in not explicitly functional languages. We have two kinds of meetings: theory and practice, that each meet twice a month. Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.: Portland Functional Programming Meetup: http://groups.google.com/pdxfunc |