🦞🌯 Lobster Roll

Thread

F*: A Higher-Order Effectful Language Designed for Program Verification (fstar-lang.org)
L 11 pts 2 comments by sanxiyn Apr 2, 2015 compsci thread

Stories related to "F*: A Higher-Order Effectful Language Designed for Program Verification" across the full archive.

F*: A Higher-Order Effectful Language Designed for Program Verification (fstar-lang.org)
L 11 pts 2 comments by sanxiyn Apr 2, 2015 compsci Programming (General)Programming Languages / CS Theory thread
F*: A Higher-Order Effectful Language Designed for Program Verification (fstar-lang.org)
L 16 pts 2 comments by pushcx Oct 30, 2017 mlrelease Programming (General)Programming Languages / CS Theory thread
Verifying higher-order programs with the Djikstra Monad (research.microsoft.com)
L 5 pts 2 comments by bitemyapp Oct 1, 2014 pdfprogramming Programming (General)Programming Languages / CS Theory thread
A Tiny Compiler For A Typed Higher Order Language (jozefg.bitbucket.org)
L 14 pts 1 comments by jozefg Mar 24, 2015 compilershaskell Systems / Low-Level / OSProgramming Languages / CS Theory thread
Higher order functions, functors and monads (kaygun.tumblr.com)
L 6 pts 1 comments by pushcx Sep 3, 2015 compscilispprogramming Programming (General)Programming Languages / CS Theory thread
Higher-order symbolic execution for contract verification and refutation (arxiv.org)
L 14 pts 0 comments by cemerick Mar 21, 2016 programming Programming (General) thread
Map, Reduce and other Higher Order Functions (ryanguill.github.io)
L 4 pts 0 comments by ryanguill May 20, 2016 javascriptprogramming Web DevelopmentProgramming (General) thread
hoc7 — (high-order calculator) [interactive floating-point language] (ftp.math.utah.edu)
L 3 pts 3 comments by trn Aug 8, 2017 mathpdfprogrammingreleaseunix Systems / Low-Level / OSProgramming (General)Science / Math / Physics thread
A Type-Safe Apparatus Executing Higher-Order Functions in Conjunction with Hardware Error Tolerance (arro.anglia.ac.uk)
L 4 pts 0 comments by nickpsecurity Nov 29, 2017 compsciformalmethodshardwarepdfprogrammingsecurity Programming (General)Programming Languages / CS TheorySecurity / PrivacyMaker / DIY / Hardware thread
Higher Order Multidimensional Programming (cartesianprogramming.files.wordpress.com)
L 4 pts 0 comments by superpat Apr 17, 2018 formalmethodspdfprogrammingslides Programming (General)Programming Languages / CS Theory thread
Slides for the lambdaMTL meetup presentation by John Plaice.
Introduction to OCaml, part 4: higher order functions, parametric polymorphism and algebraic data types (blog.baturin.org)
L 14 pts 0 comments by dmbaturin Aug 12, 2018 mlprogramming Programming (General)Programming Languages / CS Theory thread
Alloy* - A Higher-Order, Relational, Constraint Solver (aleksandarmilicevic.github.io)
L 11 pts 0 comments by nickpsecurity Feb 27, 2019 formalmethodsprogramming Programming (General)Programming Languages / CS Theory thread
The higher order of types (blog.softwaremill.com)
L 5 pts 0 comments by Mmmary Apr 1, 2019 programming Programming (General) thread
Es: A shell with higher-order functions (1993) (wryun.github.io)
L 23 pts 7 comments by nickpsecurity May 5, 2019 pltprogrammingunix Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Higher-Order Perl (hop.perl.plover.com)
L 27 pts 8 comments by adamo Jan 21, 2020 perlprogramming Programming (General)Programming Languages / CS Theory thread
Higher-order functions are like inheritance (solovyov.net)
L 13 pts 25 comments by piranha Sep 17, 2020 programming Programming (General) thread
Enriching Excel with higher-order functional programming (microsoft.com)
L 21 pts 7 comments by agent281 Jan 26, 2021 programming Programming (General)Programming Languages / CS Theory thread
What was your first programming language, what languages do you know now, and what tips do you have for those trying to learn any of those?
~ 53 pts 109 comments by unknown Jun 16, 2023 ~compprogrammingprogramming_languages Programming (General) thread
How Lisp became god's own programming language (2018)
~ 29 pts 17 comments by unknown Oct 30, 2023 ~compprogramming_languages Programming (General)Programming Languages / CS Theory thread
Is there a programming language that brings you joy?
~ 50 pts 138 comments by unknown Dec 20, 2023 ~compprogrammingprogramming_languages Programming (General) thread
Koka - A Functional Language with Effect Types and Handlers
~ 19 pts 5 comments by unknown Dec 30, 2023 ~compprogramming_languages Programming (General) thread
A reasonable configuration language
~ 16 pts 23 comments by unknown Feb 4, 2024 ~compprogramming_languages Programming (General) thread
Learning new programming languages with limited time: Rust, golang, or otherwise?
~ 26 pts 25 comments by unknown Mar 6, 2024 ~compprogramming_languages Systems / Low-Level / OSProgramming (General) thread
Zig: The small language (2022)
~ 17 pts 10 comments by unknown Aug 14, 2024 ~compprogrammingprogramming_languages Programming (General)Programming Languages / CS Theory thread
Paper: Feminism in Programming Language Design
~ 36 pts 85 comments by unknown Oct 24, 2024 ~compprogramming_languages Programming (General) thread
Moving my game project from C to Odin language
~ 15 pts 6 comments by unknown Nov 2, 2024 ~compprogrammingprogramming_languages Programming (General) thread
Understanding the Odin Programming Language
~ 6 pts 3 comments by unknown Dec 8, 2024 ~compprogramming_languages Programming (General) thread
Study: Speaking Multiple Languages Could Boost Your Kid’s Brain Power (scitechdaily.com)
SCI 0 pts 1 comments by University of Miami Jan 31, 2025 ScienceAutism Spectrum DisorderCognitionLanguageLinguisticsUniversity of Miami Science / Math / PhysicsHealth / Fitness / Lifestyle thread
New psychology research suggests that children who speak multiple languages may have improved cognitive skills. New research from the University of Miami College of Arts and Sciences suggests that bilingualism at home may offer cognitive benefits, particularly for children with autism spectrum disor...
Anguish: The invisible programming language (and invisible data theft)
~ 4 pts 0 comments by unknown Mar 18, 2025 ~compprogramming_languagessecurity Programming (General) thread
A programming language made for me
~ 23 pts 18 comments by unknown May 13, 2025 ~compprogramming_languagesprogramming Programming (General) thread