Stack Exchange Network

Stack Exchange network consists of 181 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company
    • Business Learn more about our products
  1. current community

    • Computer Science
      help chat
    • Computer Science Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
  2. Log in
  3. Sign up
Computer Science
  1. Home
    1. Public
    2. Questions
    3. Tags
    4. Users
    5. Companies
    6. Unanswered
    1. Teams
      Stack Overflow for Teams – Start collaborating and sharing organizational knowledge. Create a free Team Why Teams?
    2. Teams
    3. Create free Team

Teams

Q&A for work

Connect and share knowledge within a single location that is structured and easy to search.

Learn more about Teams
user avatar
user avatar
user avatar
siracusa
  • Member for 2 years, 11 months
  • Last seen more than 2 years ago
  • Meta user
  • Network profile
Profile Activity
  • Summary
  • Answers
  • Questions
  • Tags
  • Badges
  • Bookmarks
  • Bounties
  • Reputation
  • All actions

7 Answers

Score Activity Newest
5 votes

Big theta of function with multiple types of n

asymptotics
answered Nov 5, 2019 at 4:12
3 votes
Accepted

How does the function to curry and uncurrying another function work?

lambda-calculus functional-programming haskell
answered Oct 12, 2019 at 5:08
3 votes

What does $ \forall \alpha_1, \dots , \alpha_n . \tau $ mean formally as a type?

programming-languages type-theory type-checking type-inference polymorphisms
answered Oct 25, 2019 at 14:52
2 votes

Typesetting LTL in Unicode?

terminology notation
answered Oct 1, 2019 at 21:13
1 vote
Accepted

Formal definition of an empty stack accepting PDA

pushdown-automata
answered Oct 8, 2019 at 18:49
1 vote

Regular expression and Right Regular grammar for decimals starting with 1 ending with 9?

regular-languages regular-expressions
answered Nov 20, 2019 at 21:41
1 vote
Accepted

Minimum number of bits to represent negative number

arithmetic digital-circuits binary
answered Nov 24, 2019 at 12:35
Computer Science
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
Company
  • Stack Overflow
  • Teams
  • Advertising
  • Collectives
  • Talent
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
  • Cookie Settings
  • Cookie Policy
Stack Exchange Network
  • Technology
  • Culture & recreation
  • Life & arts
  • Science
  • Professional
  • Business
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

Site design / logo © 2022 Stack Exchange Inc; user contributions licensed under CC BY-SA. rev 2022.8.16.42829

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.